Fabio Piva, José Monteiro, Augusto Devegili, and Ricardo Dahab. 2006.
Applying Strand Spaces to Certified Delivery Proofs. In <em>Anais do VI Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais</em>, agosto 28, 2006, Santos, Brasil. SBC, Porto Alegre, Brasil, 72-85. DOI: <a href="https://doi.org/10.5753/sbseg.2006.20940">https://doi.org/10.5753/sbseg.2006.20940</a>.