Nguồn loại 2 và chương trình Datalog - Lương Cao Đông.; Đặng Huy Ruận.; Nguyễn Thế Bình