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

Pecheur. (2013). Formal Methods for Industrial Critical Systems (1.). Springer Berlin Heidelberg.

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

Pecheur. Formal Methods for Industrial Critical Systems. 1. Springer Berlin Heidelberg, 2013.

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

Pecheur. Formal Methods for Industrial Critical Systems. 1. Springer Berlin Heidelberg, 2013.