Grädel, E. (ed.) (2002) Automata logics, and infinite games : a guide to current research [book], Lecture notes in computer science. Berlin: Springer (Lecture notes in computer science, 2500 : Tutorial).
Chicago Manual of Style 17th edition (full note)Grädel, Erich, ed. Automata logics, and infinite games : a guide to current research. Book. Lecture notes in computer science. Lecture notes in computer science, 2500 : Tutorial. Berlin: Springer, [2002?], Berlin: Springer, [2002?].
American Psychological Association 7th editionAutomata logics, and infinite games : a guide to current research. (ca. 2002). [Book]. In E. Grädel (ed.), Lecture notes in computer science. Springer.
Modern Language Association 9th editionGrädel, E., editor. “Automata logics, and infinite games : a guide to current research”. Lecture notes in computer science, book, Springer, 2002.
ISO-690 (author-date, Deutsch)GRÄDEL, Erich (Hrsg.). Berlin: Springer. Lecture notes in computer science, 2500 : Tutorial. ISBN 3540003886