Towards an algebraic semantics for the object paradigm. Recent Trends (1992)

by J A Goguen, R Diaconescu
Venue:in Data Type Specification, 5th Workshop on Specifications of Abstract Data Types joint with 4th COMPASS Workshop, Caldes de Malavella