The B-Method. - Jean-Raymond Abrial; Matthew K. O. Lee; David Neilson; P. N. Scharbach; Ib Holm Sørensen (VDM Europe (2), 1991)

Applying the B Technologies on CICS. - Jonathan Hoare; Jeremy Dick; David Neilson; Ib Holm Sørensen (FME, 1996)

Formality, Evolution, and Model-driven Software Engineering. - Jim Davies; Charles Crichton; Edward Crichton; David Neilson; Ib Holm Sørensen (SBMF, 2004)

Patterns of life visual analytics suite for analyzing GPS movement patterns. - Simon Attfield; Peter J. Passmore; Neesha Kodagoda; Pragya Paudyal; David Neilson; George Pagiatakis; Brian Joyce; Robert Wells; B. L. William Wong; Adrian Wagstaff; James Bullock; Adam Malin; et al. (IEEE VAST, 2014)