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

Tian, C., Duan, Z., Duan, Z., & Ong, C. (2017). More effective interpolations in software model checking. Association for Computing Machinery.

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

Tian, C., Z. Duan, Z. Duan, و C. Ong. More Effective Interpolations in Software Model Checking. Association for Computing Machinery, 2017.

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

Tian, C., et al. More Effective Interpolations in Software Model Checking. Association for Computing Machinery, 2017.