David Lorge Parnas, John E. Shore, David M. Weiss. Abstract Types Defined as Classes of Variables. In Proceedings of the SIGPLAN 76 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976. pages 149-153, ACM, 1976. [doi]
Abstract is missing.