and José Meseguer. Remarks on remarks on many-sorted equational logic (1987)

by Joseph A Goguen
Venue:SIGPLAN Not