de Villiers, M. (1999). *Rethinking Proof with Geometer’s Sketchpad*, Key Curriculum Press

Fisher, W., and J. Jones (1987). “Doing Mathematics in a LOGO Environment”, *Academic Computing*, **2**, no. 4

Knuth, E. (2002). “Secondary Teachers’ Conceptions of Proof”, *Journal for Research in Mathematics Education*, **33**, no. 5, 379-405

Martinez-Cruz, A., R. McAlister, and G. Gannon (2004). “Ron's Theorem and Beyond: A True Mathematician and GSP in Action”, *Mathematics Teacher* **97**, no. 2, 148-151

Mays, M. (2003). “Quick Interactive Web Pages with Java Sketchpad”, *Journal of Online Mathematics and its Applications*, retrieved September 1, 2005 from http://www.mathdl.org/mathDL/4/?pa=content&sa=viewDocument&nodeId=508

Meel, D., and T. Hern (2005). “Tool Building: Web-based Linear Algebra Modules”, *Journal of Online Mathematics and its Applications*, retrieved September 1, 2005 from http://www.joma.org/mathDL/4/?pa=content&sa=viewDocument&nodeId=560

Mid-Atlantic Eisenhower Consortium for Mathematics and Science Education (1998). *TIMSS, A Source Book for 12 ^{th}-Grade Findings*, Research for Better Schools.

Moore, R. (1994). “Making the Transition to Formal Proof”, *Educational Studies in Mathematics*, **27**, no. 3, 249-266

National Commission on Mathematics and Science Teaching for the 21st Century (2000). *Before It’s Too Late, a Report to the Nation*, U.S. Department of Education,

National Council of Teachers of Mathematics (2000) *NCTM Principles and Standards for School Mathematics,* NCTM