A. Miños Fayad, «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., vol. 3, n.º 1, pp. 105–116, mar. 2015.