Steensgaard-Madsen, J. "A statement-oriented approach to data abstraction" TOPLAS 3, 1 (Jan. 1981)

Languages mentioned

• MODEF {1984} Revised Pascal with polymorphism