Muchtar, T.; Lutfi. Studi Literatur: Penggunaan Metode Formal Dan Terstruktur Pembuatan Program Programmable Logic Controller. SNTI 2025, 11, 131-139.