Remarks on Remarks on Many-Sorted Equational Logic.

Joseph A. Goguen José Meseguer Remarks on Remarks on Many-Sorted Equational Logic. 41-48 1987 22 SIGPLAN Notices 4 db/journals/sigplan/sigplan22.html#GoguenM87