1988
Integrating abstract data types with object-oriented programming by specification-based approach.
[DOI]
Y. Zhong
,
S. Ishizuka
,
R. Enari
Proceedings of the 1988 Internation Conference on Computer Languages, 1988