Robots, Reasoning, and Reification - Gunderson, James P. (Springer)