Ruiz Cortés, D., Corchuelo, R. y Ruiz Cortés, A. 2002. Vivacidad y justicia en entornos no deterministas. Revista Colombiana de Computación. 3, 1 (jun. 2002), 73–92.