Grädel, E., Thomas, W., & Wilke, T. (2002). Automata, logics, and infinite games. Springer.
Čikaški stil citiranja (17. izdanje)Grädel, Erich, Wolfgang Thomas, i Thomas Wilke. Automata, Logics, and Infinite Games. New York: Springer, 2002.
MLA način citiranja (9. izdanje)Grädel, Erich, et al. Automata, Logics, and Infinite Games. Springer, 2002.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.