Computabilidad, complejidad computacional y verificación de programas - Rosenfeld, Daniel Ricardo. (Editorial de la Universidad Nacional de La Plata, 2013)