Pito, Luis C., Ruben J. Gaviria, Pablo A. Mage, y Julio A. Hurtado. 2012. «Pruebas Dirigidas Por Modelos Para Sistemas Distribuidos: Estudio De Caso Curso De Sistemas Distribuidos Universidad Del Cauca». Revista Colombiana De Computación 13 (2):94-123. https://revistas.unab.edu.co/index.php/rcc/article/view/2127.