Introducción a la teoría de la computabilidad : : Algoritmos y máquinas - HERMES, Hans (Tecnos, 1984)