Trương Công, T., & Trần Thị Ngọc, T. (2014). Ngữ nghĩa thủ tục của chương trình logic có ràng buộc.
استشهاد بنمط شيكاغوTrương Công, Tuấn, و Trang Trần Thị Ngọc. Ngữ Nghĩa Thủ Tục Của Chương Trình Logic Có Ràng Buộc. 2014.
MLA استشهادTrương Công, Tuấn, و Trang Trần Thị Ngọc. Ngữ Nghĩa Thủ Tục Của Chương Trình Logic Có Ràng Buộc. 2014.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.