Module: An encapsulation mechanism for specifying and implementing abstract data types. - Billy G. Claybrook; Marvin P. Wyckoff (ACM Annual Conference, 1980)