Kokichi Futatsugi Joseph A. Goguen Jean-Pierre Jouannaud José Meseguer Principles of OBJ2. 52-66 1985 POPL db/conf/popl/popl85.html#FutatsugiGJM85