Norbert Kajler User Interfaces for Symbolic Computation: A Case Study. 1-10 1993 ACM Symposium on User Interface Software and Technology http://doi.acm.org/10.1145/168642.168643 db/conf/uist/uist1993.html#Kajler93