Simon Colton, Louise A. Dennis: The NumbersWithNames Program. AI&M 2002