Araujo, Andréa, and Aloysio de Castro P. Pedroza.
"Especificação Formal de um Protocolo de Roteamento Anônimo para Redes Ad-Hoc." <em>Anais do IV Workshop em Segurança de Sistemas Computacionais,
Gramado, 2004</em>. SBC, 2004,  
pp.164-175.