An efficient system for user extendible languages. - Malcolm C. Newey (AFIPS Fall Joint Computing Conference (2), 1968)

Automated therapy for nonspeaking autistic children. - David Canfield Smith; Malcolm C. Newey; Kenneth Mark Colby (AFIPS Spring Joint Computing Conference, 1972)

Abstract Machine Modelling to Produce Portable Software - A Review and Evaluation. - Malcolm C. Newey; Peter C. Poole; William M. Waite (Softw. Pract. Exp., 1972)

Proving Properties of Assembly Language Programs. - Malcolm C. Newey (IFIP Congress, 1977)

A Metalanguage for Interactive Proof in LCF. - Michael J. C. Gordon; Robin Milner; F. Lockwood Morris; Malcolm C. Newey; Christopher P. Wadsworth (POPL, 1978)

The Robust Implementation of Sequence-Controlled Iteration. - Malcolm C. Newey; William M. Waite (Softw. Pract. Exp., 1985)

Proof Based Computation. - Malcolm C. Newey (TPHOLs, 1991)

Proof of Program Transformations. - Rachel E. O. Roxas; Malcolm C. Newey (TPHOLs, 1991)

Implementing ML on Distributed Memory Multiprocessors. - Peter R. Bailey; Malcolm C. Newey (SIGPLAN Workshop, 1992)

Supporting Coarse and Fine Grain Parallelism in an Extension of ML. - Peter R. Bailey; Malcolm C. Newey; David Sitsky; Robin B. Stanton (CONPAR, 1994)