APA-referens (7:e uppl.)

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

Chicago-referens (17:e uppl.)

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

MLA-referens (9:e uppl.)

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