Makoto Kikkawa Koichi Sugawara Yukio Washio An Algebraic Formula Manipulation System for Education and Its Implementation on Different PCs. 78-85 1994 APL http://doi.acm.org/10.1145/190271.190289 db/conf/apl/apl94.html#KikkawaSW94