Integrated Marker Passing and Problem Solving by James A. Hendler