Proceedings of the 1995 international symposium on Symbolic and algebraic computation - Levelt, A. H. M. (Association for Computing Machinery, 1995)