Reconciling Symbolic and Numeric Computation in a Practical Setting. - Michael C. Dewar; M. G. Richardson (DISCO, 1990)

Some symbolic computing links to the NAG numeric library. - Kevin A. Broughan; G. Keady; T. D. Robb; M. G. Richardson; Michael C. Dewar (SIGSAM Bull., 1991)

Interfacing algebraic and numeric computation. - Michael C. Dewar (1991)

Using Computer Algebra to Select Numerical Algorithms. - Michael C. Dewar (ISSAC, 1992)

Symbolic Computation - Introduction. - Michael C. Dewar (Euro-Par, 1999)