Goguen, J., & Malcolm, G. (1996). Algebraic semantics of imperative programs. MIT Press.
Παραπομπή σε μορφή Chicago (17η εκδ.)Goguen, Joseph, και Grant Malcolm. Algebraic Semantics of Imperative Programs. Cambridge, Mass: MIT Press, 1996.
Παραπομπή σε μορφή MLA (8th εκδ.)Goguen, Joseph, και Grant Malcolm. Algebraic Semantics of Imperative Programs. MIT Press, 1996.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.