LARA This is an old revision of the document! Textbook: The Calculus of Computation Among the textbooks, this one is closest to the material that we will cover (although we will cover other things, and there will be lecture notes). Web site at Springer