Oliveira, Evandro, and Cláudio Andrade Rego. " Auditoria de Sistemas Eleitorais: o Caso São Domingos." Proceedings of the 1st Workshop on Computer Systems Security, Florianópolis, 2001. SBC, 2001, pp.146-160.