Proceedings of the international symposium on Symbolic and algebraic computation - MacCallum, Malcolm (Association for Computing Machinery, 1994)