Стиль цитування APA (7-ме видання)

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

Чикаго стиль цитування (17-те видання)

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

Стиль цитування MLA (9-ме видання)

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