Rich and Knight's book serves as the basis for most of examples given in this lecture.
The Handbook of Artificial Intelligence (Vol. 3 Ch 15) deals with planning and gives descriptions of STRIPS and other planners.
