Rosenfeld, D. R., & Irazábal, J. (2013). Computabilidad, complejidad computacional y verificación de programas. Editorial de la Universidad Nacional de La Plata.
Chicago-čujuhus (17. p.)Rosenfeld, Daniel Ricardo, juo Jerónimo Irazábal. Computabilidad, Complejidad Computacional Y Verificación De Programas. La Plata: Editorial de la Universidad Nacional de La Plata, 2013.
MLA-čujuhus (9. p.)Rosenfeld, Daniel Ricardo, juo Jerónimo Irazábal. Computabilidad, Complejidad Computacional Y Verificación De Programas. Editorial de la Universidad Nacional de La Plata, 2013.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.