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ích dẫn kiểu ChicagoTrương Công, Tuấn, và 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.
Deismireacht MLATrương Công, Tuấn, và 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.
Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.