Introducción a la teoría de la computabilidad - Gallardo López, Domingo (Textos docentes (Alicante, Spain)., 2003)