توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Goguen, J., & Meseguer, J. (1984). Completeness of many-sorted equational logic. CSLI.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Goguen, Joseph, و José Meseguer. Completeness of Many-sorted Equational Logic. Stanford, CA: CSLI, 1984.

توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)

Goguen, Joseph, و José Meseguer. Completeness of Many-sorted Equational Logic. CSLI, 1984.