Andréa Araujo and Aloysio Pedroza. 2004.
 Especificação Formal de um Protocolo de Roteamento Anônimo para Redes Ad-Hoc. In <em>Proceedings of the 4th Workshop on Computer Systems Security</em>, May 10, 2004, Gramado, Brasil. SBC, Porto Alegre, Brasil, 164-175. DOI: <a href="https://doi.org/10.5753/sbseg.2004.21235">https://doi.org/10.5753/sbseg.2004.21235</a>.