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

by Joseph Goguen, Jose Meseguer
Venue:Research Directions in Object-Oriented Programming