APA (7th ed.) Citation

Adamek, J., Milius, S., & Velebil, J. (2011, April). Semantics of Higher-Order Recursion Schemes. Logical Methods in Computer Science.

Chicago Style (17th ed.) Citation

Adamek, Jiri, Stefan Milius, and Jiri Velebil. "Semantics of Higher-Order Recursion Schemes." Logical Methods in Computer Science Apr. 2011.

MLA (9th ed.) Citation

Adamek, Jiri, et al. "Semantics of Higher-Order Recursion Schemes." Logical Methods in Computer Science, Apr. 2011.

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