An algebraic semantics for the object specification language (1995)

by M Gogolla, R Herzig
Venue:Recent Trends in Data Type Specification. LNCS 906