Serna Montoya, E. (2011) «Métodos formales e Ingeniería de Software», Revista Virtual Universidad Católica del Norte, 1(30), pp. 158–184. Disponible en: https://revistavirtual.ucn.edu.co/index.php/RevistaUCN/article/view/62 (Accedido: 28 marzo 2024).