@misc{W4254354208,
  author = {J. R. Abrial and A. Hoare and Pierre Chapron},
  title = {The B-Book},
  year = {1996},
  howpublished = {Cambridge University Press eBooks},
  doi = {https://doi.org/10.1017/cbo9780511624162}
}