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

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