Galicia, J. C. (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. Universidad de Antioquia.
Citazione stile Chigago Style (17a edizione)Galicia, Jorge Cortés. 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. Universidad de Antioquia, 2012.
Citatione MLA (9a ed.)Galicia, Jorge Cortés. 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. Universidad de Antioquia, 2012.