Billy G. Claybrook, Marvin P. Wyckoff. Module: An encapsulation mechanism for specifying and implementing abstract data types. In Charles L. Bradshaw, Gordon R. Sherman, editors, Proceedings of the ACM 1980 Annual Conference, Nashville, Tennessee, USA, October, 27-29, 1980. pages 225-235, ACM, 1980. [doi]
Abstract is missing.