Remarks on many-sorted equational logic with respect to algebraic implementations. - Eric van Gestel; Ivo Van Horebeek (ACM SIGPLAN Notices, 1988)