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

Boulanger, J. (2012). Formal methods: Industrial use from model to the code. ISTE ; Wiley. https://doi.org/10.1002/9781118561898

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

Boulanger, Jean-Louis. Formal Methods: Industrial Use from Model to the Code. London : Hoboken, NJ: ISTE ; Wiley, 2012. https://doi.org/10.1002/9781118561898.

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

Boulanger, Jean-Louis. Formal Methods: Industrial Use from Model to the Code. ISTE ; Wiley, 2012. https://doi.org/10.1002/9781118561898.