CORTÉS GALICIA, J.; MENCHACA GARCÍA, F. M.; MENCHACA MÉNDEZ, R. LeGESD: Un marco de trabajo para la especificación y validación formal de sistemas concurrentes y distribuidos basado en un lenguaje gráfico con semántica sustentada en el álgebra de procesos. Revista Facultad de Ingeniería Universidad de Antioquia, [S. l.], n. 63, p. 129–140, 2012. DOI: 10.17533/udea.redin.12492. Disponível em: https://revistas.udea.edu.co/index.php/ingenieria/article/view/12492. Acesso em: 4 mar. 2025.