Integrating abstract data types with object-oriented programming by specification-based approach. - Y. Zhong; S. Ishizuka; R. Enari (ICCL, 1988)