Teori bahasa, otomata dan komputasi serta terapannya - Hariyanto, Bambang (Informatika, 2004)