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

Schrammel, P., & Jeannet, B. (2011). Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs. Springer.

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

Schrammel, P., και B. Jeannet. Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs. Springer, 2011.

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

Schrammel, P., και B. Jeannet. Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs. Springer, 2011.