Cơ sở lý thuyết tính toán - Hopcroft, J. (Đại học Quốc gia, 2003)