@inproceedings{730303,
  title = "B-Tool",
  author = "Lee, Matthew K. O. 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 I",
  isbn = "3-540-54834-3",
  pages = "695--696",
  publisher = "Springer-Verlag",
}