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