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

Thang, N. T. Specification and verification of inter-component constraints in CTL. Software engineering notes..

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

Thang, Nguyen Truong. "Specification and Verification of Inter-component Constraints in CTL." Software Engineering Notes. .

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

Thang, Nguyen Truong. "Specification and Verification of Inter-component Constraints in CTL." Software Engineering Notes., .