Towards a theory of abstract data types (1980)

by D APUR