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.