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?». REFCalE: Revista Electrónica Formación Y Calidad Educativa. ISSN 1390-9010, vol. 3, n.º 1, marzo de 2015, pp. 105-16, https://refcale.uleam.edu.ec/index.php/refcale/article/view/94.