Discourse,tools,and reasoning : - Resnick, Lauren B. (NATO ASI series. Computer and systems sciences, 1997)