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