13.
Miyazaki, M., Fujita, T., & Jones, K. (2014). Functions of open flow-chart proving in introductory lessons of formal proving. In P. Liljedahl, S. Oesterle, C. Nicol & D. Allan (Eds.), Proceedings of the Joint Meeting of the 38th Conference of the International Group for the Psychology of Mathematics Education and the 36th Conference of the North American Group for the Psychology of Mathematics Education (Vol. 4, pp. 225-232). Vancouver, Canada: PME.