B
[BL69] Julius R. Büchi and Lawrence H. Landweber. Definiability in the Monadic Second-Order Theory of Successor. Journal of Symbolic Logic 34(2):166-170. Association for Symbolic Logic, June 1969. 
@article{jsl34(2)-BL,
  author =              {B{\"u}chi, Julius R. and Landweber, Lawrence H.},
  title =               {Definiability in the Monadic Second-Order Theory of
                         Successor},
  publisher =           {Association for Symbolic Logic},
  journal =             {Journal of Symbolic Logic},
  volume =              {34},
  number =              {2},
  pages =               {166-170},
  year =                {1969},
  month =               jun,
}
List of authors