E. Oliveira and C. Rego. "Auditoria de Sistemas Eleitorais: o Caso São Domingos", in Anais do I Workshop em Segurança de Sistemas Computacionais, Florianópolis, 2001, pp. 146-160, doi: https://doi.org/10.5753/sbseg.2001.21295.