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.
Chicago Style aipamenaTrươ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.
MLA aipamenaTrươ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.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.