- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 3 |      | Jim Davies, Charles Crichton, Edward Crichton, David Neilson, Ib Holm Sørensen: Formality, Evolution, and Model-driven Software Engineering. Electr. Notes Theor. Comput. Sci. 130: 39-55 (2005) |
| 1996 | ||
| 2 | | Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Sørensen: Applying the B Technologies on CICS. FME 1996: 74-84 |
| 1991 | ||
| 1 | | Jean-Raymond Abrial, Matthew K. O. Lee, David Neilson, P. N. Scharbach, Ib Holm Sørensen: The B-Method. VDM Europe (2) 1991: 398-405 |
| 1 | Jean-Raymond Abrial | [1] |
| 2 | Charles Crichton | [3] |
| 3 | Edward Crichton | [3] |
| 4 | Jim Davies | [3] |
| 5 | Jeremy Dick | [2] |
| 6 | Jonathan Hoare | [2] |
| 7 | Matthew K. O. Lee | [1] |
| 8 | P. N. Scharbach | [1] |
| 9 | Ib Holm Sørensen | [1] [2] [3] |