- Computer Algebra: Past and FutureJSC, 2(3):217-236, 1986.

- An Extension of Liouville s Theorem on Integration in Finite TermsSIAMCOMP, 14(4):966-990, 1985.

- A Note on the Complexity of Algebraic Differentiationipl, 7(2):122-124, 1978.
- A note on algebraic independence of logarithmic and exponential constantscca, 12(2):18-20, 1978. [doi]

- A note on the complexity of algebraic differentiationcca, 11(3):4-6, 1977. [doi]

- More on computing roots of integerscca, 9(3):18-20, 1975. [doi]

- An Existence Lemma for Canonical Forms in Symbolic Mathematicsipl, 1(2):45-46, 1971.

- On Canonical Forms and SimplificationJACM, 17(2):385-396, 1970. [doi]