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

by Joseph A Goguen, Jose Meseguer