C. D. Luna, «Enseñando métodos formales con Coq», TEyET, n.º 1, p. 10 p., dic. 2006.