Goguen, J., & Meseguer, J. (1984). Completeness of many-sorted equational logic. CSLI.
Chicago Style (17. basım) AtıfGoguen, Joseph, ve José Meseguer. Completeness of Many-sorted Equational Logic. Stanford, CA: CSLI, 1984.
MLA (8th ed.) AtıfGoguen, Joseph, ve José Meseguer. Completeness of Many-sorted Equational Logic. CSLI, 1984.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..