Towards an Algebraic Semantics for the Object Paradigm (1994)

by Joseph A. Goguen, Razvan Diaconescu
Venue:In Hartmut Ehrig and Fernando Orejas, editors, Proceedings, Tenth Workshop on Abstract Data Types