Taylor, R. Griegory: Models of Cumputation. New York: Oxford University Press, 1998. Un de ls ralos testos facilmente legibles subre Teorie de la Cumputaçon, apropiado para alunos de graduçon ó mestrado.