APA (7th ed.) Citation

Atkey, R. (2011, June). Amortised Resource Analysis with Separation Logic. Logical Methods in Computer Science.

Chicago Style (17th ed.) Citation

Atkey, Robert. "Amortised Resource Analysis with Separation Logic." Logical Methods in Computer Science Jun. 2011.

MLA (9th ed.) Citation

Atkey, Robert. "Amortised Resource Analysis with Separation Logic." Logical Methods in Computer Science, Jun. 2011.

Warning: These citations may not always be 100% accurate.