1. Leron, U., & Zaslavsky, O. (2009). Generic proving: Reflections on scope and method. In F.-L. Lin, F.-J. Hsieh, G. Hanna & M. de Villiers (Eds.), Proceedings of the ICMI Study 19 Conference: Proof and proving in mathematics education (vol. 2, pp. 53–58). ICME.
2. Leron, U., & Zaslavsky, O. (2013). Generic proving: Reflections on scope and method. For the Learning of Mathematics, 33(3), 24–30. [This article was included in M. Pitici (Ed.) (2014). The best writing on mathematics (pp. 198–215). Princeton University Press.].
3. Leron, U. (1983). Structuring mathematical proofs. The American Mathematical Monthly,90(3), 174–185.
4. Noss, R. (1984). Children learning Logo programming: Interim report No. 2 of the Chiltern Logo Project. Advisory Unit for Computer-Based Education.
5. Noss, R., & Hoyles, C. (1996). Windows on mathematical meanings: Learning cultures and computers. Kluwer Academic.