APA-ийн эшлэл(7 дахь хэвлэлт)

Thamsborg, J., Birkedal, L., & Yang, H. (2011). Two for the Price of One: Lifting Separation Logic Assertions.

Чикаго-гийн эшлэл (17 дахь хэвлэлт)

Thamsborg, J., L. Birkedal, ба H. Yang. Two for the Price of One: Lifting Separation Logic Assertions. 2011.

MLA -ийн эшлэл (9 дэх хэвлэлт)

Thamsborg, J., et al. Two for the Price of One: Lifting Separation Logic Assertions. 2011.