The Specification and Application to Programming of Abstract Data Types (1975)

by J V Guttag