Metodologia de especificação de times assincronos para problemas de otimização combinatoria - Peixoto, Helvio Pereira (1995)
Orientador: Pedro Sergio de Souza