For now, use the web pages on Prof. Sequin's site at:
http://www.cs.berkeley.edu/~sequin/CS301/