L. P. Patac and M. L. Herrera, “Modelling In-service Teachers’ Mathematical Reasoning in Constructing and Validating Proofs”, SDSSU MRJ, vol. 5, pp. 1–6, Jan. 2019.