Introducción a la teoría matemática de las computadoras y de la programación - Trajtenbrot, B. A (Siglo Veintiuno, 1967)