J.P.Jouannaud, J.Meseguer (1985)

by J A Goguen K Futatsugi
Venue:Principles of OBJ2, Proc. POPL