Goguen, J. and J. Meseguer, "Equality, types, modules and generics for logic programming," Technical Report No. 5, Center for the Study of Language and Information (CSLI), Stanford University, 1984.

Languages mentioned

• OBJ {1976}