Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
ACM Digital Library