Miños Fayad, A. Didáctica De La informática Y métodos Formales: ¿por Qué Son Importantes Los métodos Formales Para La didáctica De La informática?. Rev. Elect. Form. y Cal. Educ. 2015, 3, 105-116.