| R1 |
Specification and Testing (PDF) |
| R2 |
ADT, Rep Exposure, and Object Model Diagrams (PDF) |
| R3 |
Abstraction Functions and Representation Invariants (PDF) |
| R4 |
Equality and Hashing (PDF) |
| R5 |
True Subtyping and the Substitution Principle (PDF) |
| R6 |
Design Patterns (PDF) |