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

Kroening, D., Alglave, J., Nimal, V., & Poetzl, D. (2017). Don’t sit on the fence: A static analysis approach to automatic fence insertion. Association for Computing Machinery.

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

Kroening, D., J. Alglave, V. Nimal, و D. Poetzl. Don’t Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. Association for Computing Machinery, 2017.

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

Kroening, D., et al. Don’t Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. Association for Computing Machinery, 2017.