OBJ: Programming with equalities, subsorts, overloading and parameterization (1988)

by J-P Jouannaud, C Kirchner, H Kirchner, A Megrelis
Venue:Algebraic and Logic Programming