A system for the solution of initial and two-point boundary value problems. - Arthur C. Norman (ACM Annual Conference (2), 1972)

Double by single length division. - John P. Fitch; Arthur C. Norman (SIGSAM Bull., 1975)

Solutions to problem 8. - Arthur C. Norman (SIGSAM Bull., 1975)

The SCRATCHPAD power series package. - Arthur C. Norman (SIGSAM Bull., 1975)

Computing with Formal Power Series. - A. C. Norman (ACM Trans. Math. Softw., 1975)

Expanding the Solutions of Implicit Sets of Ordinary Differential Equations in Power Series. - A. C. Norman (Comput. J., 1976)

Implementing LISP in a High-level Language. - John P. Fitch; A. C. Norman (Softw. Pract. Exp., 1977)

Towards a REDUCE solution to SIGSAM problem 7. - Arthur Norman (SIGSAM Bull., 1978)

A Note on Compacting Garbage Collection. - John P. Fitch; A. C. Norman (Comput. J., 1978)

Integration – the dust settles? (invited). - A. C. Norman; James H. Davenport (EUROSAM, 1979)

The initial design of a vector based algebra system. - A. C. Norman; P. M. A. Moore (EUROSAM, 1979)

Testing word-sized numbers for primality. - Arthur C. Norman (SIGSAM Bull., 1979)

A one-pass prettyprinter. - Anthony C. Hearn; Arthur C. Norman (ACM SIGPLAN Notices, 1979)

SKIM - The S, K, I Reduction Machine. - T. J. W. Clarke; P. Gladstone; C. MacLean; A. C. Norman (LISP Conference, 1980)

Implementing a polynomial factorization and GCD package. - P. M. A. Moore; A. C. Norman (SYMSACC, 1981)

The Development of a Vector-based Algebra System. - A. C. Norman (EUROCAM, 1982)

A comparison of the Vaxima and Reduce factorization packages. - Arthur C. Norman; Paul S. Wang (SIGSAM Bull., 1983)

Some Practical Methods for Rapid Combinator Reduction. - W. R. Stoye; T. J. W. Clarke; A. C. Norman (LISP and Functional Programming, 1984)

Alkahest III: automatic analysis of periodic weakly nonlinear ODEs. - John P. Fitch; A. C. Norman; M. A. Moore (SYMSAC, 1986)

Faster Combinator Reduction Using stock Hardware. - A. C. Norman (LISP and Functional Programming, 1988)

A Critical-Pair/Completion Based Integration Algorithm. - A. C. Norman (ISSAC, 1990)

Compact Delivery Support for REDUCE. - A. C. Norman (J. Symb. Comput., 1995)

Interfacing REDUCE to Java. - Arthur Norman; John P. Fitch (DISCO, 1996)

Memory Tracing of Algebraic Calculations. - Arthur Norman; John P. Fitch (ISSAC, 1996)

CABAL: polynomial and power series algebra on a parallel computer. - Arthur Norman; John P. Fitch (PASCO, 1997)

A Parallel Symbolic Computation Environment: Structures and Mechanics. - Mantsika Matooane; Arthur Norman (Euro-Par, 1999)

Further evaluation of Java for symbolic computation. - Arthur C. Norman (ISSAC, 2000)

Not seeing the roots for the branches: multivalued functions in computer algebra. - David J. Jeffrey; Arthur C. Norman (SIGSAM Bull., 2004)

Thirty Years of Lisp Support for REDUCE. - Arthur C. Norman (Algorithmic Algebra and Logic, 2005)

Computing Clipped Products. - Arthur C. Norman; Stephen M. Watt (CASC, 2024)

Software for indefinite integration. - Arthur C. Norman; David J. Jeffrey (SCSS (Work in Progress), 2024)

A Symbolic Computing Perspective on Software Systems. - Arthur C. Norman; Stephen M. Watt (CoRR, 2024)

Symbolic Mathematical Computation 1965-1975: The View from a Half-Century Perspective. - Robert M. Corless; Arthur C. Norman; Tomás Recio; William J. Turkel; Stephen M. Watt (CoRR, 2025)

Semi-Centennial REDUCE. - Arthur C. Norman; Stephen M. Watt (CoRR, 2025)

Software Portability for Computer Algebra. - Arthur C. Norman; Stephen M. Watt (CoRR, 2025)