4Ramon Manades, Angel Gutierrez, Proofs Produced by Secondary Students Learning Geometry in a Dynamic Computer Environment [J]. Educational Studies in Mathematics, 2000, 44(1-2): 87-125.
5Jones K. Providing A Foundation for Deductive Reasoning [J]. Educational Studies in Mathematics, 2000, 44( 1-2): 55.