If not redirected automatically, please go to http://www.cs.colostate.edu/~somlo/CSU-SIP-notes/.