| title | media type | ISBN-13 | year of publication | |
|---|---|---|---|---|
| Automata and Computability | Hardcover | 978-0-387-94907-9 | 1997 | |
| The Design and Analysis of Algorithms | Gebunden | 978-3-540-97687-5 | 2008 | |
| The Design and Analysis of Algorithms | Hardcover | 978-0-387-97687-7 | 1991 | |
| Theory of Computation | Paperback | 978-81-8128-696-3 | 2007 | |
| Theory of Computation: Classical and Contemporary Approaches | Hardcover | 978-1-84628-297-3 | 2006 |
C. K. · D.C. · D.K · D. Kozen · Dexter Kozen