Exception mistakes (PDF)
ADT errors (exceptions) (PDF)
Implementing specifications (PDF)
Circular list example (PDF)
Realizing queues with circular lists (PDF)
Parameterized ADTs (PDF)