Rosenfeld, D. R., & Irazábal, J. (2013). Computabilidad, complejidad computacional y verificación de programas. Editorial de la Universidad Nacional de La Plata.

Rosenfeld, Daniel Ricardo, and Jerónimo Irazábal. Computabilidad, Complejidad Computacional Y Verificación De Programas. La Plata: Editorial de la Universidad Nacional de La Plata, 2013.

Rosenfeld, Daniel Ricardo, and Jerónimo Irazábal. Computabilidad, Complejidad Computacional Y Verificación De Programas. Editorial de la Universidad Nacional de La Plata, 2013.