Goguen, J., & Meseguer, J. (1984). Completeness of many-sorted equational logic. CSLI.
Chicago Style (17th ed.) CitationGoguen, Joseph, and José Meseguer. Completeness of Many-sorted Equational Logic. Stanford, CA: CSLI, 1984.
MLA (8th ed.) CitationGoguen, Joseph, and José Meseguer. Completeness of Many-sorted Equational Logic. CSLI, 1984.
Warning: These citations may not always be 100% accurate.