Robots, Reasoning, and Reification - Gunderson, James P. (Springer Science+Business Media, LLC, 2009)