Thinking as Computation. A First Course, Paperback/Hector J. Levesque