Araujo, A., & 		Pedroza, A.
(2004).
Especificação Formal de um Protocolo de Roteamento Anônimo para Redes Ad-Hoc.
In <em>Anais do IV Workshop em Segurança de Sistemas Computacionais</em>, (pp. 164-175). Porto Alegre: SBC.
doi:10.5753/sbseg.2004.21235