Author: J. Richard Buchi, Julia Robinson, Robert L. Vaught, J. W. Addison, S. C. Kleene, John Myhill, J. R. Shloenfield et al