SpringerLink (Online service), Mehlhorn, K., Pitts, A., & Wattenhofer, R. (2012). Automata, languages, and programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I. Springer Berlin Heidelberg.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)SpringerLink (Online service), Kurt Mehlhorn, Andrew Pitts, و Roger Wattenhofer. Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)SpringerLink (Online service), et al. Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I. Springer Berlin Heidelberg, 2012.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.