Collected Works of J. Richard Buchi