Local Smoothing by Polynomials in n Dimensions. - A. J. Cole; Antony J. T. Davie (Comput. J., 1969)

Conditional Declarations and Pattern Matching. - Antony J. T. Davie (Data Types and Persistence (Appin), Informal Proceedings, 1985)

A Persistent Graphics Facility for the ICL PERQ. - Ronald Morrison; Alfred L. Brown; Peter J. Bailey; Antony J. T. Davie; Alan Dearle (Softw. Pract. Exp., 1986)

Persistent Functional Programming. - David J. McNally; Stef Joosten; Antony J. T. Davie (POS, 1990)

Two Models For Integrating Persistence and Lazy Functional Languages. - David J. McNally; Antony J. T. Davie (ACM SIGPLAN Notices, 1991)

Algebraic Formula Manipulation in a Functional Language: A First Attempt. - Antony J. T. Davie (Functional Programming, 1995)

Naira: A Parallel² Haskell Compiler. - Sahalu B. Junaidu; Antony J. T. Davie; Kevin Hammond (Implementation of Functional Languages, 1997)