Παραπομπή σε μορφή APA (7η εκδ.)

Boulanger, J. (2014). Formal methods applied to complex systems: Implementation of the B Method. ISTE ; Wiley. https://doi.org/10.1002/9781119002727

Παραπομπή σε μορφή Chicago (17η εκδ.)

Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. London : Hoboken, NJ: ISTE ; Wiley, 2014. https://doi.org/10.1002/9781119002727.

Παραπομπή σε μορφή MLA (8th εκδ.)

Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. ISTE ; Wiley, 2014. https://doi.org/10.1002/9781119002727.