Fabio Piva, José Monteiro, Augusto Devegili, and Ricardo Dahab. 2006.
 Applying Strand Spaces to Certified Delivery Proofs. In <em>Proceedings of the 6th Brazilian Symposium on Information and Computational Systems Security</em>, August 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>.