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

Haraty, R. A., Boss, N., Mourad, A., & Allaham, M. M. (2013). Modeling and validating the class security model using alloy.

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

Haraty, Ramzi A., Nancy Boss, Azzam Mourad, و Mohamad Mowafek Allaham. Modeling and Validating the Class Security Model Using Alloy. 2013.

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

Haraty, Ramzi A., et al. Modeling and Validating the Class Security Model Using Alloy. 2013.