Araujo, Andréa, and Aloysio de Castro P. Pedroza.
" Especificação Formal de um Protocolo de Roteamento Anônimo para Redes Ad-Hoc." <em>Proceedings of the 4th Workshop on Computer Systems Security,
Gramado, 2004</em>. SBC, 2004,  
pp.164-175.