APA način citiranja (7. izdanje)

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

Čikaški stil citiranja (17. izdanje)

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

MLA način citiranja (9. izdanje)

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