J. H. Vargas, “Programacion concurrente con restricciones en mozart”, Sci. tech, vol. 1, no. 24, Jan. 2004.