Alan Bundy: The computer modelling of mathematical reasoning. - Balstrøm, Thomas (Geografisk Tidsskrift, 1986)