Syamsuri, S., P. Purwanto, S. Subanji, and S. Irawati. “Characterization of Students Formal-Proof Construction in Mathematics Learning”. Communications in Science and Technology, Vol. 1, no. 2, Nov. 2016, doi:10.21924/cst.1.2.2016.2.