توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Donovan, B., Norris, P., & Lowe, G. (1999). Analyzing a Library of Security Protocols using Casper and FDR.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Donovan, B., P. Norris, و G. Lowe. Analyzing a Library of Security Protocols Using Casper and FDR. 1999.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

Donovan, B., et al. Analyzing a Library of Security Protocols Using Casper and FDR. 1999.