Jørgen Steensgaard-Madsen A Statement-Oriented Approach to Data Abstraction. 1-10 1981 3 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/357121.357122 db/journals/toplas/toplas3.html#Steensgaard-Madsen81