APA (7th ed.) Citation

Waeselynck, H. (1997). 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. Software Testing: Verification & Reliability, 7(2), 129. https://doi.org/10.1002/(SICI)1099-1689(199706)7:2<129::AID-STVR132>3.0.CO;2-9

Chicago Style (17th ed.) Citation

Waeselynck, Hélène. "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." Software Testing: Verification & Reliability 7, no. 2 (1997): 129. https://doi.org/10.1002/(SICI)1099-1689(199706)7:2<129::AID-STVR132>3.0.CO;2-9.

MLA (9th ed.) Citation

Waeselynck, Hélène. "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." Software Testing: Verification & Reliability, vol. 7, no. 2, 1997, p. 129, https://doi.org/10.1002/(SICI)1099-1689(199706)7:2<129::AID-STVR132>3.0.CO;2-9.