http://www.cs.cmu.edu/~fp/courses/15122-s11/resources.html http://www.cs.cmu.edu/~15150/lect.html http://www.cs.cmu.edu/~15210/ https://existentialtype.wordpress.com/2012/08/17/intro-curriculum-update/