Pimentel, J. C. L. (2008). Formal Support to Security Protocol Development: A Survey. Instituto Politécnico Nacional.
Chicago-Zitierstil (17. Ausg.)Pimentel, Juan Carlos López. Formal Support to Security Protocol Development: A Survey. Instituto Politécnico Nacional, 2008.
MLA-Zitierstil (9. Ausg.)Pimentel, Juan Carlos López. Formal Support to Security Protocol Development: A Survey. Instituto Politécnico Nacional, 2008.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.