Selected papers from the Conference on Data Abstraction, Definition, and Structure Salt Lake City, Utah, March 22 - 24, 1976 (ACM, 1977)
In: Association for Computing Machinery: Communications of the ACM 20 (1977) 6