Goguen, J., & Meseguer, J. (1984). Completeness of many-sorted equational logic. CSLI.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Goguen, Joseph, và José Meseguer. Completeness of Many-sorted Equational Logic. Stanford, CA: CSLI, 1984.
Trích dẫn kiểu MLA (xuất bản lần thứ 8)Goguen, Joseph, và José Meseguer. Completeness of Many-sorted Equational Logic. CSLI, 1984.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.