APA (7th ed.) Citation

Sannella, D., & Tarlecki, A. (2012). Foundations of Algebraic Specification and Formal Software Development. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Sannella, Donald, and Andrzej Tarlecki. Foundations of Algebraic Specification and Formal Software Development. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

MLA (8th ed.) Citation

Sannella, Donald, and Andrzej Tarlecki. Foundations of Algebraic Specification and Formal Software Development. Springer Berlin Heidelberg, 2012.

Warning: These citations may not always be 100% accurate.