Cortés Galicia, J.; Menchaca García, F. M.; Menchaca Méndez, R. 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 2012, 129-140.