Lập trình logic - Phan, Huy Khánh (Trường Đại học Bách khoa - Đại học Đà Nẵng, 2011)