Towards a theory of abstract data types (1980)

by Deepak Kapur