J. Richard Büchi

• Die Boole'sche partialordnung und die paarung von Gefugen
• Finite Automata, Their Algebras and Grammars