Intelligent User Interfaces for Symbolic and Numeric Computation.

Michael E. Clarkson Intelligent User Interfaces for Symbolic and Numeric Computation. 96-106 1992 conf/aisc/1992 AISMC db/conf/aisc/aismc1992.html#Clarkson92