The Computer Modelling Of Mathematical Reasoning - Bundy,Alan (Academic Press,INC., 1983)