Trích dẫn kiểu APA (xuất bản lần thứ 7)
Silva Ramírez, E. L., & Lopez Coello, M. (2017). Corrección de algoritmos complejos: Verificación formal. Universidad de Cádiz.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)
Silva Ramírez, Esther Lydia, và Manuel Lopez Coello. Corrección De Algoritmos Complejos: Verificación Formal. Cádiz: Universidad de Cádiz, 2017.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)
Silva Ramírez, Esther Lydia, và Manuel Lopez Coello. Corrección De Algoritmos Complejos: Verificación Formal. Universidad de Cádiz, 2017.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.