Andréa Araujo and Aloysio Pedroza. 2004.
Especificação Formal de um Protocolo de Roteamento Anônimo para Redes Ad-Hoc. In Anais do IV Workshop em Segurança de Sistemas Computacionais, maio 10, 2004, Gramado, Brasil. SBC, Porto Alegre, Brasil, 164-175. DOI: https://doi.org/10.5753/sbseg.2004.21235.