Readings in planning - Georgeff, Michael P. (Morgan Kaufmann Publishers, 1990)