Syamsuri, S., Purwanto, P., Subanji, S. and Irawati, S. 2016. Characterization of students formal-proof construction in mathematics learning. Communications in Science and Technology. 1, 2 (Nov. 2016). DOI:https://doi.org/10.21924/cst.1.2.2016.2.