APA (7th ed.) Citation

Sannella, D., & Tarlecki, A. (2012). Foundations of algebraic specification and formal software development. Springer.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

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