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 (dic. 2006), 10 p. DOI:https://doi.org/10.24215/18509959.0.10 p.