Models and equality for logical programming (1987)

by Joseph Goguen, Jose Meseguer
Venue:Proceedings, 1987 TAPSOFT