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). doi: 10.21924/cst.1.2.2016.2.