University of California, Berkeley: Paul Hilfinger's "Exceptions, OOP"

Read these notes.