Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics (1987)

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