Abstract Data Types and Software Validation. Research Report 76-48 (1976)

by J V Guttag, E Horowitz, D R Musser
Venue:Information Sciences Institute