Karel the robot : - Pattis, Richard E. (Wiley, 1995)