The B-Method.

Jean-Raymond Abrial, Matthew K. O. Lee, David Neilson, P. N. Scharbach, Ib Holm Srensen

Browse the full FM paper archive.