Towards a Theory of Abstract Data Types (1980)

by D Kapur