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.