Models and equality for logical programming (1987)

by J A Goguen, J Meseguer
Venue:of Lecture Notes in Computer Science