CS 312: Actual Class Notes in Spring 2013