Equality, Types, Modules and Generics for Logic Programming.

Joseph A. Goguen José Meseguer Equality, Types, Modules and Generics for Logic Programming. 115-125 1984 ICLP db/conf/iclp/iclp84.html#GoguenM84