Lý thuyết Ôtômát và thuật toán - Phan Đình Diệu (Hà Nội : Đại học và Trung học Chuyên nghiệp, 1977)