Goguen, J. A., & Malcolm, G. (1996). Algebraic semantics of imperative programs. The MIT Press.
Chicago-referens (17:e uppl.)Goguen, Joseph A., och Grant Malcolm. Algebraic Semantics of Imperative Programs. Cambridge, Massachusetts: The MIT Press, 1996.
MLA-referens (9:e uppl.)Goguen, Joseph A., och Grant Malcolm. Algebraic Semantics of Imperative Programs. The MIT Press, 1996.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.