International Conference on Typed Lambda Calculi and Applications Novi Sad, Serbia, SpringerLink (Online service), & Ong, L. (2011). Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings. Springer. https://doi.org/10.1007/978-3-642-21691-6
Chicago-referens (17:e uppl.)International Conference on Typed Lambda Calculi and Applications Novi Sad, Serbia, SpringerLink (Online service), och Luke Ong. Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings. Berlin: Springer, 2011. https://doi.org/10.1007/978-3-642-21691-6.
MLA-referens (9:e uppl.)International Conference on Typed Lambda Calculi and Applications Novi Sad, Serbia, et al. Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings. Springer, 2011. https://doi.org/10.1007/978-3-642-21691-6.