Abstract Data Types and Software Validation (1978)

by J Guttag, E Horowitz, D R Musser
Venue:Communications of the ACM