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, و Jerónimo Irazábal. Computabilidad, Complejidad Computacional Y Verificación De Programas. La Plata: Editorial de la Universidad Nacional de La Plata, 2013.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Rosenfeld, Daniel Ricardo, و Jerónimo Irazábal. Computabilidad, Complejidad Computacional Y Verificación De Programas. Editorial de la Universidad Nacional de La Plata, 2013.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.