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