Oliveira, Evandro, and Cláudio Andrade Rego. "Auditoria de Sistemas Eleitorais: o Caso São Domingos." Anais do I Workshop em Segurança de Sistemas Computacionais, Florianópolis, 2001. SBC, 2001, pp.146-160.