Semantic Structure of Classroom Discourse Concerning Proof and Proving in High School Mathematics. IJRES 2017, 343-372.