Luna, Carlos Daniel. 2006. «Enseñando métodos Formales Con Coq». Revista Iberoamericana De Tecnología En Educación Y Educación En Tecnología, n.º 1 (diciembre):10 p. https://doi.org/10.24215/18509959.0.10 p.