Méry, D., & Singh, N. K. (2014, June 26). Event B. Formal Methods Applied to Complex Systems: Implementation of the B Method, 253-298. https://doi.org/10.1002/9781119002727.ch10
Chicago-Zitierstil (17. Ausg.)Méry, Dominique, und Neeraj Kumar Singh. "Event B." Formal Methods Applied to Complex Systems: Implementation of the B Method 26 Jun. 2014: 253-298. https://doi.org/10.1002/9781119002727.ch10.
MLA-Zitierstil (9. Ausg.)Méry, Dominique, und Neeraj Kumar Singh. "Event B." Formal Methods Applied to Complex Systems: Implementation of the B Method, 26 Jun. 2014, pp. 253-298, https://doi.org/10.1002/9781119002727.ch10.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.