Luna, C. D. (2006). Enseñando métodos formales con Coq. Revista Iberoamericana De Tecnología En Educación Y Educación En Tecnología, (1), 10 p. https://doi.org/10.24215/18509959.0.10 p.