R. Macêdo and S. Gorender. "Detectores Perfeitos em Sistemas Distribuídos Não Síncronos", in Anais do IX Workshop de Testes e Tolerância a Falhas, Rio de Janeiro/RJ, 2008, pp. 115-127, doi: https://doi.org/10.5753/wtf.2008.23150.