Specification in B: An Introduction Using the B Toolkit, by Kevin Lano and Howard Haughton, Imperial College Press, distributed by World Scientific Publishing, 1996 (Book Review).
Hélène WaeselynckPublished in: Softw. Test. Verification Reliab. (1997)