Integrating abstract data types with object-oriented programming by specification-based approach | IEEE Conference Publication | IEEE Xplore