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

André, E., & Soulat, R. (2013). The inverse method: Parametric verification of real-time embedded systems. ISTE. https://doi.org/10.1002/9781118569351

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

André, Etienne, και Romain Soulat. The Inverse Method: Parametric Verification of Real-time Embedded Systems. London: ISTE, 2013. https://doi.org/10.1002/9781118569351.

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

André, Etienne, και Romain Soulat. The Inverse Method: Parametric Verification of Real-time Embedded Systems. ISTE, 2013. https://doi.org/10.1002/9781118569351.