Software Fault Tolerance: An Evaluation. - Tom Anderson; Peter A. Barrett; Dave N. Halliwell; Michael R. Moulding (IEEE Trans. Software Eng., 1985)

Engineering knowledge based data fusion systems: solving the run-time bottleneck. - J. W. H. Daniel; J. A. Miles; Michael R. Moulding (IEA/AIE (2), 1989)

Exploiting application parallelism in knowledge-based systems: an experimental method. - J. W. H. Daniel; Michael R. Moulding (Concurr. Pract. Exp., 1996)

Formal methods into practice: case studies in the application of the B method. - Juan Bicarregui; D. L. Clutterbuck; Gavin R. Finnie; Howard P. Haughton; Kevin Lano; H. Lesan; D. W. R. M. Marsh; B. M. Matthews; Michael R. Moulding; A. Richard Newton; Brian Ritchie; T. G. A. Rushton; et al. (IEE Proc. Softw. Eng., 1997)