Hein, James L: Theory of Cumputation. Sudbury, MA: Jones & Vartlett, 1996. Ua antroduçon suabe al assunto de la Teorie de la Cumputaçon, apropiado para alunos de l segundo anho dun curso de graduaçon an Ciéncia de la Cumputaçon.