The speci and application to programming of abstract data types (1975)

by J V Guttag