| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals | 978-3-540-06345-2 (3-540-06345-5) | 1973 | D. Siefkes |
| Finite Automata, Their Algebras and Grammars. Towards a Theory of Formal Expressions | 978-3-540-96905-1 (3-540-96905-5) | 1989 | |
J.B. · J. Büchi · J R · J. Richard Büchi · R. B