Journal of symbolic computation (Academic Press, 1985)