"Models and Equality for Logical Programming."

Joseph A. Goguen, José Meseguer (1987)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics