The Computer Modelling of Mathematical Reasoning - BUNDY, Alan. (London Academic Press, 1986)