توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Silva Ramírez, E. L., & Lopez Coello, M. (2017). Corrección de algoritmos complejos: Verificación formal. Universidad de Cádiz.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Silva Ramírez, Esther Lydia, و Manuel Lopez Coello. Corrección De Algoritmos Complejos: Verificación Formal. Cádiz: Universidad de Cádiz, 2017.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

Silva Ramírez, Esther Lydia, و Manuel Lopez Coello. Corrección De Algoritmos Complejos: Verificación Formal. Universidad de Cádiz, 2017.