Cortés Galicia, Jorge, Felipe M. Menchaca García, y Rolando Menchaca Méndez. 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, n.º 63 (agosto):129-40. https://doi.org/10.17533/udea.redin.12492.