University of Texas at Austin: Thomas Dillig's "Operational Semantics II"

Read these slides.

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