Program development within the mathematician's devil. - T. J. G. Benson; Peter Milligan; N. S. Scott (Microprocessing and Microprogramming, 1990)

Towards the development of a mathematician's assistant. - Peter Milligan; T. J. G. Benson; N. S. Scott (Microprocessing and Microprogramming, 1990)

Towards the development of a mathematician's assistant for the specification and implementation of parallel linear algebra software. - T. J. G. Benson (1992)

A knowledge based approach to the development of parallel programs. - T. J. G. Benson; Peter Milligan; Richard McConnell; Alan Rea 001 (PDP, 1993)

Process to processor mapping within the mathematician's Devil. - Peter Milligan; T. J. G. Benson; R. K. McConnell; Alan Rea 001 (Microprocess. Microprogramming, 1993)

Detecting components for parallel execution within the Mathematician's Devil. - Peter Milligan; T. J. G. Benson; R. K. McConnell; Alan Rea 001 (Microprocess. Microprogramming, 1993)

The Mathematician's Devil: An Experiment In Automating The Production Of Parallel Linear Algebra Software. - Peter Milligan; Richard McConnell; T. J. G. Benson (PDP, 1994)