Miños Fayad, A. 2015. 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?. REFCalE: Revista Electrónica Formación y Calidad Educativa. ISSN 1390-9010. 3, 1 (mar. 2015), 105–116.