The B-method - an introduction

Steve A. Schneider. The B-method - an introduction. The cornerstones of computing series, Macmillan Publ., 2001.

@book{0015710,
  title = {The B-method - an introduction},
  author = {Steve A. Schneider},
  year = {2001},
  researchr = {https://researchr.org/publication/0015710},
  cites = {0},
  citedby = {0},
  series = {The cornerstones of computing series},
  publisher = {Macmillan Publ.},
  isbn = {978-0-333-79284-1},
}