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