Lowe, G. (1997). Casper: A Compiler for the Analysis of Security Protocols. IEEE.
Lua i Stíl Chicago (17ú heag.)Lowe, G. Casper: A Compiler for the Analysis of Security Protocols. IEEE, 1997.
Lua MLA (9ú heag.)Lowe, G. Casper: A Compiler for the Analysis of Security Protocols. IEEE, 1997.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.