2026. TEORI BAHASA DAN AUTOMATA: Fondasi Formal untuk Komputasi. PENERBIT KARYA BAKTI MAKMUR (KBM) INDONESIA.