University of Texas at Austin: Thomas Dillig's "Object-Oriented Languages"

Read these slides.

Click http://web.archive.org/web/20160727140433/http://www.cs.utexas.edu/~tdillig/cs345H/lecture17-6up.pdf link to open resource.