The computer modelling of mathematical reasonic - Bundy, lan (Academic Press, 1983)