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