Sannella, D. (2012). Foundations of algebraic specification and formal software development. Springer-Verlag.
Chicago Style CitationSannella, Donald. Foundations of Algebraic Specification and Formal Software Development. Springer-Verlag, 2012.
MLA CitationSannella, Donald. Foundations of Algebraic Specification and Formal Software Development. Springer-Verlag, 2012.
Warning: These citations may not always be 100% accurate.