TY - BOOK AU - Sipser ( Michael ) TI - Introduction to the Theory of Computation U1 - 511.3 CY - NY PB - Cengage Learning ER -