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