Gửi tin nhắn: Nghiên cứu, xây dựng hệ thống trợ giúp tìm kiếm và sửa lỗi chương trình máy tính dựa trên các kỹ thuật rút gọn chương trình /Nguyễn Quang Uy, Nguyễn Đình Trần Long.