An Algebraic Formula Manipulation System for Education and Its Implementation on Different PCs. - Makoto Kikkawa; Koichi Sugawara; Yukio Washio (APL, 1994)