APA-Zitierstil (7. Ausg.)
Boulanger, J. (2014). Formal methods applied to complex systems: Implementation of the B method. iSTE : Wiley.
Chicago-Zitierstil (17. Ausg.)
Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. London, England ; Hoboken, New Jersey: iSTE : Wiley, 2014.
MLA-Zitierstil (9. Ausg.)
Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. iSTE : Wiley, 2014.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.