N. Huwaa and C. Matitaputty, “Desain Lembar Kerja Mahasiswa dengan Metode Penemuan Terbimbing untuk Pembelajaran Sistem Pembuktian”, mathedu, vol. 1, no. 1, pp. 45-50, Jan. 2020.