Robots, Reasoning, and Reification - Gunderson, James P.; Gunderson, Louise F. (Springer US, 2009)