Pito, Luis C., Ruben J. Gaviria, Pablo A. Mage, y Julio A. Hurtado. «Pruebas Dirigidas Por Modelos Para Sistemas Distribuidos: Estudio De Caso Curso De Sistemas Distribuidos Universidad Del Cauca». Revista Colombiana de Computación 13, no. 2 (diciembre 1, 2012): 94–123. Accedido agosto 23, 2025. https://revistasunabeduco.biteca.online/index.php/rcc/article/view/2127.