Abstract Types Defined as Classes of Variables.

Published in: Conference on Data: Abstraction, Definition and Structure (1976)