@inproceedings{729697,
  title = "Applying the B Technologies on CICS",
  author = "Hoare, Jonathan and Dick, Jeremy and Neilson, Dave and S{\o}rensen, Ib",
  year = "1996",
  address = "London, UK, UK",
  booktitle = "FME '96: Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods",
  isbn = "3-540-60973-3",
  pages = "74--84",
  publisher = "Springer-Verlag",
}