APA (7th ed.) Zitazioa
Cas Cremers, S. M. Operational Semantics and Verification of Security Protocols. Springer.
Chicago Style (17th ed.) Zitazioa
Cas Cremers, Sjouke Mauw. Operational Semantics and Verification of Security Protocols. Berlín, Alemania: Springer.
MLA (9th ed.) Zitazioa
Cas Cremers, Sjouke Mauw. Operational Semantics and Verification of Security Protocols. Springer.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.