TY - BOOK AU - Sipser M. TI - Theory of computation U1 - 511 CY - NULL KW - INFORMATION TECHNOLOGY ER -