Book

The computer modelling of mathematical reasoning

by Alan Bundy