Lightweight Formal Methods for Computer Algebra Systems. - Martin Dunstan; Tom W. Kelsey; Steve Linton; Ursula Martin (ISSAC, 1998)

Formal Methods for Extensions to CAS. - Martin Dunstan; Tom W. Kelsey; Ursula Martin; Steve Linton (World Congress on Formal Methods, 1999)

Larch/Aldor: a Larch BISL for AXIOM and Aldor. - Martin Dunstan (2000)

Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS. - Andrew Adams; Martin Dunstan; Hanne Gottliebsen; Tom W. Kelsey; Ursula Martin; Sam Owre (TPHOLs, 2001)

Image Processing for Near Earth Object Optical Guidance Systems. - Nicholas Rowell; Steve Parkes; Martin Dunstan (IEEE Trans. Aerosp. Electron. Syst., 2013)

Asteroid Modeling for Testing Spacecraft Approach and Landing. - Iain Martin; Steve Parkes; Martin Dunstan; Nick Rowell (IEEE Computer Graphics and Applications, 2014)

Modeling cratered surfaces with real and synthetic terrain for testing planetary landers. - Iain Martin; Steve Parkes; Martin Dunstan (IEEE Trans. Aerosp. Electron. Syst., 2014)