J. Cortés Galicia, F. M. Menchaca García, y R. Menchaca Méndez, «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», Rev.Fac.Ing.Univ.Antioquia, n.º 63, pp. 129–140, ago. 2012.