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