PROGRAMMING WITH ABSTRACT DATA TYPES

Barbara Liskov , Stephen Zilles