Cortés Galicia, J., 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». Revista Facultad De Ingeniería Universidad De Antioquia, n.º 63, agosto de 2012, pp. 129-40, doi:10.17533/udea.redin.12492.