A. Araujo and A. Pedroza.
"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>, Gramado, 2004, pp. 164-175, doi: <a href="https://doi.org/10.5753/sbseg.2004.21235">https://doi.org/10.5753/sbseg.2004.21235</a>.