The computer modelling of mathematical reasoning - Bundy, Alan (Academic Press, 1983)
xv, 403 p.; 23 cm.