Jens Claßen: Planning and Verification in the agent language Golog. RWTH Aachen University 2013, 1-323