Introduction to language and theori of computable ed. 2 - MARTIN, John C. (McGraw-Hill, 1997, 1997)