Teori Bahasa, Otomata, dan Komputasi serta Terapannya - Haryanto, Bambang (Informatika, 2004)