Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, Jos Meseguer
Browse the full POPL paper archive.