Үүнийг мессежээр илгээх: The computer modelling of mathematical reasoning / Alan Bundy.