Geoffrey J. Nolan DASIM 1: A Practical Exercise in Data Abstraction. 143-150 1979 conf/ldpm/1979 Language Design and Programming Methodology db/conf/ldpm/ldpm1979.html#Nolan79