@book{0015096,
  title = {The B-book - assigning programs to meanings},
  author = {Jean-Raymond Abrial},
  year = {2005},
  researchr = {https://researchr.org/publication/0015096},
  cites = {0},
  citedby = {0},
  publisher = {Cambridge University Press},
  isbn = {978-0-521-02175-3},
}