Lý thuyết ngôn ngữ hình thức và Otomat - Đặng, Huy Ruận (Nxb. Đại học Quốc gia Hà Nội, 2002)