Validação de ações atomicas distribuidas - Rosa, Thierson Couto (1994)
Orientador: Ricardo O. Anido