John Yen Robert Neches Michael DeBellis Specification by Reformulation: A Paradigm for Building Integrated User Support Environments. 814-818 1988 AAAI db/conf/aaai/aaai88.html#YenND88