Ernst, George W.; Ogden; William F. "Specification of Abstract Data Types in Modula"

(1980)

(1980) TOPLAS 2(4) October 1980  

Languages mentioned

  • Modula {1977} Concurrent modular language after Pascal