Book Review: Specification in B: an introduction using the B toolkit. Kevin Lano and Howard Haughton. Published by Imperial College Press and distributed by World Scientific Publishing, London, U.K., 1996. ISBN: 1-86094-018-8, 242 pages. Price: U.K. £17.00, soft cover.
Hélène Waeselynck · Software Testing Verification and Reliability · 1997
Specification in B: An Introduction described with first-order logic and a set-theoretic model, while the dynamics (operations) are Using the B Toolkit.Kevin Lano and Howard Haughton.Published by Imperial Col-expressed by means of generalized substitutions having the semantics of predicate transformers.lege