Models and equality for logical programming (1987)

by Joseph Goguen, José Meseguer
Venue:Proceedings, TAPSOFT 1987, volume 250 of Lecture Notes in Computer Science