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