The collected works of J. Richard Büchi / - Büchi, J. Richard. (Springer-Verlag,, 1990)