ISSAC 96: proceedings of the 1996 international symposium on symbolic and algebraic computation : july 24-26, 1996, Zurich, Switzerland - Lakshman, Y. N. (ACM,Inc, 1996)