Journal of Symbolic Computation (Academic Press, 1985)