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