F. Azmi, “Aplikasi Perancang Abstraksi Verilog Mesin Keadaan Terbatas Otomatis”, st, vol. 24, no. 2, pp. 120–128, Dec. 2021.