Macêdo, Raimundo, and Sérgio Gorender.
" Detectores Perfeitos em Sistemas Distribuídos Não Síncronos." <em>Anais do IX Workshop de Testes e Tolerância a Falhas,
Rio de Janeiro/RJ, 2008</em>. SBC, 2008,  
pp.115-127.