"OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization."

Jean-Pierre Jouannaud et al. (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics