Goguen, J. A., & Malcom, G. (1996). Algebraic semantics of imperative programs. Cambridge, MA.: The MIT Press.
Παραπομπή Chicago StyleGoguen, Joseph A., and Grant Malcom. Algebraic Semantics of Imperative Programs. Cambridge, MA.: The MIT Press, 1996.
Παραπομπή MLAGoguen, Joseph A., and Grant Malcom. Algebraic Semantics of Imperative Programs. Cambridge, MA.: The MIT Press, 1996.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.