TY - BOOK AU - Martin, John C. TI - Introduction to languages and the theory of computation / John C. Martin CY - Boston : McGraw-Hill, c2003. PB - Boston : McGraw-Hill, c2003. KW - Computable functions ER -