S. Syamsuri, P. Purwanto, S. Subanji, and S. Irawati, “Characterization of students formal-proof construction in mathematics learning”, CST, vol. 1, no. 2, Nov. 2016.