Advances in Mathematics Education Research on Proof and Proving - Andreas J. Stylianides, Guershon Harel (Springer, 2018)