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

Slaymaker, M., Power, D., & Simpson, A. (2010). Formalising and validating RBAC−to−XACML translation using lightweight formal methods. Springer−Verlag Lecture Notes in Computer Science‚ volume 5977.

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

Slaymaker, M., D. Power, و A. Simpson. Formalising and Validating RBAC−to−XACML Translation Using Lightweight Formal Methods. Springer−Verlag Lecture Notes in Computer Science‚ volume 5977, 2010.

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

Slaymaker, M., et al. Formalising and Validating RBAC−to−XACML Translation Using Lightweight Formal Methods. Springer−Verlag Lecture Notes in Computer Science‚ volume 5977, 2010.