Proceedings of the international symposium on Symbolic and algebraic computation - Watanabe, Shunro (Association for Computing Machinery, 1990)