Sannella, D., & Tarlecki, A. (2012). Foundations of algebraic specification and formal software development. Springer.
Chicago-Zitierstil (17. Ausg.)Sannella, Donald, und Andrzej Tarlecki. Foundations of Algebraic Specification and Formal Software Development. Berlin ; Heidelberg: Springer, 2012.
MLA-Zitierstil (9. Ausg.)Sannella, Donald, und Andrzej Tarlecki. Foundations of Algebraic Specification and Formal Software Development. Springer, 2012.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.