Goguen, J., & Malcolm, G. (1996). Algebraic semantics of imperative programs. MIT Press.
Chicago Style (17th ed.) CitationGoguen, Joseph, and Grant Malcolm. Algebraic Semantics of Imperative Programs. Cambridge, Mass: MIT Press, 1996.
MLA (8th ed.) CitationGoguen, Joseph, and Grant Malcolm. Algebraic Semantics of Imperative Programs. MIT Press, 1996.
Warning: These citations may not always be 100% accurate.