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.