Towards an algebraic semantics for the object paradigm (1994)

by Joseph Goguen, Razvan Diaconescu
Venue:In Harmut Ehrig and Fernando Orejas, editors, Recent Trends in Data Type Speci volume 785 of Lecture Notes in Computer Science