@inproceedings{760473,
  title = "The B-Method",
  author = "Abrial, Jean-Raymond and Lee, Matthew K. O. and Neilson, Dave and Scharbach, P. N. and S{\o}rensen, Ib",
  year = "1991",
  address = "London, UK, UK",
  booktitle = "VDM '91: Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2",
  isbn = "3-540-54868-8",
  pages = "398--405",
  publisher = "Springer-Verlag",
}