Robots, reasoning, and reification - Gunderson, Louise F.; Gunderson, James P. (Springer, 2009)