Computabilidad, complejidad computacional y verificación de programas - Rosenfeld, Daniel Ricardo. (Libros de Cátedra., 2013)