Cortés Galicia, J., Menchaca García, F.M. y Menchaca Méndez, R. 2012. 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. 63 (ago. 2012), 129–140. DOI:https://doi.org/10.17533/udea.redin.12492.