SourceForge documentation of Karel The Robot by Tom Mitchell : http://karel.sourceforge.net/doc/html_chapter/karel_2.html

http://primepuzzle.com/lee-bradley/SamplePrograms/maze.html

Source code : http://primepuzzle.com/lee-bradley/SamplePrograms/maze.tc

The input world text file used by the maze program : http://primepuzzle.com/lee-bradley/SamplePrograms/maze.kw