Παραπομπή σε μορφή APA (7η εκδ.)
Boulanger, J. (2014). Formal methods applied to complex systems: Implementation of the B method. iSTE : Wiley.
Παραπομπή σε μορφή Chicago (17η εκδ.)
Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. London, England ; Hoboken, New Jersey: iSTE : Wiley, 2014.
Παραπομπή σε μορφή MLA (9th εκδ.)
Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. iSTE : Wiley, 2014.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.