Цитирование 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.

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.