The Collected Works of J. Richard Buchi by J. Richard Büchi