Jean-Pierre Jouannaud Claude Kirchner Hélène Kirchner Aristide Mégrelis Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ. 257-279 1992 12 J. Log. Program. 3&4 db/journals/jlp/jlp12.html#JouannaudKKM92