D. Ahmad, F. Tasman, R. Rifandi, S. Al Aziz, and R. Winanda, “Modul Berbasis Logika Pembuktian untuk Mengurangi Level Abstraksi Topik Grup dan Sifat-Sifatnya”, jep, vol. 5, no. 1, pp. 33-40, May 2021.