15-859T: A Theorist's Toolkit 2013
www.cs.cmu.edu