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

Boulanger, J. (2012). Industrial used of formal method: Formal verification. ISTE. https://doi.org/10.1002/9781118561829

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

Boulanger, Jean-Louis. Industrial Used of Formal Method: Formal Verification. London: ISTE, 2012. https://doi.org/10.1002/9781118561829.

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

Boulanger, Jean-Louis. Industrial Used of Formal Method: Formal Verification. ISTE, 2012. https://doi.org/10.1002/9781118561829.