Abstraction and Specification in Program Development, Barbara Liskov, John V. Guttag
Hier könnte deine Bewertung stehen.