TOPLAS 2(4) October 1980
ACM Transactions on Programming Languages and Systems (TOPLAS)
Ernst, George W.; Ogden; William F. (1980)
Ernst, George W.; Ogden; William F. "Specification of Abstract Data Types in Modula"
Landwehr, Carl E. (1980)
Landwehr, Carl E. "n Abstract Type for Statistics Collection in Simula"