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}, }