~ tracking down this book ~
Introduction to the Theory of Computation by Michael Sipser — OmList