Title: The Collected Works of J. Richard Büchi
Subjects: Machine theory, Logic, symbolic and mathematical