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