Cortés Galicia, Jorge, Felipe M. Menchaca García, y Rolando 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, no. 63 (agosto 1, 2012): 129–140. Accedido marzo 4, 2025. https://revistas.udea.edu.co/index.php/ingenieria/article/view/12492.