| SES # | Topics |
|---|---|
| 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) |