LUNA, C. D. Enseñando métodos formales con Coq. Revista Iberoamericana de Tecnología en Educación y Educación en Tecnología, [S. l.], n. 1, p. 10 p., 2006. DOI: 10.24215/18509959.0.10 p. Disponível em: https://teyet-revista.info.unlp.edu.ar/TEyET/article/view/180. Acesso em: 10 dic. 2023.