The validation and verification of low-level code. - D. L. Clutterbuck (1986)

The verification of low-level code. - D. L. Clutterbuck; B. A. Carré (Softw. Eng. J., 1988)

Industrial perspective on static analysis. - Brian A. Wichmann; A. A. Canning; D. L. Clutterbuck; L. A. Winsborrow; N. J. Ward; D. William R. Marsh (Softw. Eng. J., 1995)

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)