T. Balstrøm, “Alan Bundy: The computer modelling of mathematical reasoning”., gt, vol. 86, Jan. 1986.