Goguen, Joseph A.; Malcolm, Grant Algebraic semantics of imperative programs. (English) Zbl 0887.68066 MIT Press Series in the Foundations of Computing. Cambridge, MA: MIT Press. xii, 228 p. (1996). Reviewer: R.Horsch (Markdorf) MSC: 68Q60 68Q55 68-01 PDFBibTeX XMLCite \textit{J. A. Goguen} and \textit{G. Malcolm}, Algebraic semantics of imperative programs. Cambridge, MA: MIT Press (1996; Zbl 0887.68066)
Goguen, J. A.; Meseguer, J. Completeness of many-sorted equational logic. (English) Zbl 0498.03018 Tech. Rep., Comput. Sci. Lab., SRI Intern. CSL-135, 30 p. (1982). MSC: 03C05 68P05 08B05 08A05 18A15 PDFBibTeX XML
Goguen, Joseph A. Two ordinary specifications. (English) Zbl 0477.68024 Tech. Rep., Comput. Sci. Lab., SRI Intern. CSL-128, 22 p. (1981). MSC: 68Q60 PDFBibTeX XML
Boyer, R. S. (ed.); Moore, J. Strother (ed.) [Dijkstra, E. W.; Burstall, R. M.; Goguen, J. A.; Manna, Z.; Pnueli, A.] The correctness problem in computer science. (English) Zbl 0476.68009 International Lecture Series in Computer Science. London etc.: Academic Press, a subsidiary of Harcourt Brace Jovanovich, Publishers. XIII, 279 p. £14.20; $ 29.50 (1981). MSC: 68-02 68Q60 68N01 PDFBibTeX XML