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 also cover additional topics, and there will be lecture notes). Web site at Springer