Unifying functional~ object-oriented and relational programming with logical semantics. (1987)

by J A Goguen, I Meseguer
Venue:Research Direction in Object-Oriented Programming, B.Shriver~P.Wegner