Objects and their Specification (1992)

by H-D Ehrich, M Gogolla, A Sernadas
Venue:Proc. 8th Workshop on Abstract Data Types (ADT'91