Dependable And Historic Computing Essays Dedicated To Brian Randell On The Occasion Of His 75th BirthdayCliff B. Jones · First published 2011Open the Tome
VDM '87. VDM - A Formal Method at WorkCliff Jones, Erich J. Neuhold · First published 1987Open the Tome
Development methods for computer programs including a notion of interferenceCliff B. Jones · First published 1981Open the Tome