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