The development of a method for checking the reasons of students' geometry proofs with a computer - Donald Cameron Brock (1965)