Sannella, D., & Tarlecki, A. [ca. 2012]. Foundations of algebraic specification and formal software development. In Monographs in theoretical computer science [Book]. Berlin: Springer.
ISO-690 (author-date, English)SANNELLA, Donald und TARLECKI, Andrzej, 2012. Foundations of algebraic specification and formal software development. Berlin: Springer. ISBN 3642173357.
Modern Language Association 9th editionSannella, D., und A. Tarlecki. „Foundations of algebraic specification and formal software development“. Monographs in theoretical computer science, book, Springer, 2012.
Mohr Siebeck - Recht (Deutsch - Österreich)Sannella, Donald/Tarlecki, Andrzej: Foundations of algebraic specification and formal software development, Berlin 2012.
Emerald - HarvardSannella, D. und Tarlecki, A. (2012), Foundations of algebraic specification and formal software development, Monographs in theoretical computer science, Bd. , Springer, Berlin.