Using abstract data types in a model of the data control aspect of programming languages (1985)

by C D Marlin, M J Oudshoorn
Venue:Australian Computer Science Communications, Volume 7, Number