Luna, C. D. Enseñando métodos Formales Con Coq. TEyET 2006, 10 p..