The Design of Data Type Specifications.

John V. Guttag, Ellis Horowitz, David R. Musser

Browse the full ICSE paper archive.