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), p. 10 p. doi: 10.24215/18509959.0.10 p.