APA (7th ed.) Citation

Sannella, D., & Tarlecki, A. (2012). Foundations of Algebraic Specification and Formal Software Development (1.). Springer Nature. https://doi.org/10.1007/978-3-642-17336-3

Chicago Style (17th ed.) Citation

Sannella, Donald, and Andrzej Tarlecki. Foundations of Algebraic Specification and Formal Software Development. 1. Berlin, Heidelberg: Springer Nature, 2012. https://doi.org/10.1007/978-3-642-17336-3.

MLA (9th ed.) Citation

Sannella, Donald, and Andrzej Tarlecki. Foundations of Algebraic Specification and Formal Software Development. 1. Springer Nature, 2012. https://doi.org/10.1007/978-3-642-17336-3.