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.