Foundations of Algebraic Specification and Formal Software Development

MLA

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

APA

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

Chicago

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