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), pp. 129–140. doi: 10.17533/udea.redin.12492.