The computer modelling of mathematical reasoning - Bundy, Alan (London Academic, 1983)