@article{Buchi:1960,
	key = "{B\"uchi} 1960",
	author = "{B\"uchi}, J. R.",
	title = "Weak secord-order arithmetic and finite automata",
	journal = ZMLGM,
	volume = 6,
	year = 1960,
	pages = "66-92",
	note = "Reprinted in S. Mac Lane and D. Siefkes, eds., {\it The
Collected Works of J. Richard {B\"uchi}}, Springer-Verlag, 1990,
pp.\ 398--424"}

@article{McNaughton:1963,
	key = "McNaughton 1963",
	author =  "McNaughton, R.",
	title = "Review of two papers by {B\"uchi}",
	journal = JSL,
	volume = 28,
	year = 1963,
	pages = "100-102"}

@article{Cobham:1969,
	key = "Cobham 1969",
	author = "Cobham, A.",
	title = "On the base-dependence of sets of numbers 
recognizable by finite automata",
	journal = MST,
	volume = 3,
	year = 1969,
	pages = "186-192"}

@article{Hodgson:1983,
	key = "Hodgson 1983",
	author = "Hodgson, B.",
	title = "{D\'ecidabilit\'e} par automate fini",
	journal = ASMQ,
	volume = 7,
	year = 1983,
	pages = "39-57"}

@article{Michaux&Point:1986,
	key = "Michaux and Point 1986",
	author = "Michaux, C. and Point, F.",
	title = "Les ensembles $k$-reconnaissables sont
{d\'efinissables} dans {$\langle {\bf N}, +, V_k \rangle$}",
	journal = CRASP,
	volume = 303,
	year = 1986,
	pages = "939-942"}

@incollection{Villemaire:1992a,
	key = "Villemaire 1992a",
	author = "Villemaire, R.",
	title = "Joining $k$- and $l$- recognizable sets of natural numbers",
	booktitle = STACS92,
	publisher = SV,
	series = LNICS,
	volume = 577,
	year = "{\noopsort{1992a}}1992",
	pages = "83-94"}

@article{Villemaire:1992b,
	key = "Villemaire 1992b",
	author = "Villemaire, R.",
	title = "The theory of {$\langle {\bf N}, +, V_k, V_l \rangle$}
is undecidable",
	journal = TCS,
	volume = 106,
	year = "{\noopsort{1992b}}1992",
	pages = "337-349",
	comment = "checked"}

@article{Villemaire:1992c,
	key = "Villemaire 1992c",
	author = "R. Villemaire",
	title = "{$\langle {\En}, +, V_2, V_3 \rangle$} est {ind\'ecidable}",
	journal = CRASP,
	volume = 314,
	year = "{\noopsort{1992c}}1992",
	pages = "775-777"}

@incollection{Michaux&Villemaire:1993,
	key = "Michaux and Villemaire 1993",
	author = "Michaux, C. and Villemaire, R.",
	title = "{Cobham's} theorem seen through {B\"uchi's} theorem",
	booktitle = ICALP93,
	publisher = SV,
	series = LNICS,
	volume = 700,
	year = 1993,
	pages = "325-334"}

@article{Bruyere&Hansel&Michaux&Villemaire:1994,
	key = "{Bruy\`ere}, Hansel, Michaux, and Villemaire 1994",
	author = "{Bruy\`ere}, V. and Hansel, G. and Michaux, C. and Villemaire, R.",
	title = "Logic and $p$-recognizable sets of integers",
	journal = BBMS,
	volume = 1,
	year = 1994,
	pages = "191-238",
	note = "Corrigendum, {\it Bull.\ Belg.\ Math.\ Soc.} {\bf 1} (1994), 577"} 

@incollection{Hansel:1982,
	key = "Hansel 1982",
	author = "G. Hansel",
	title = "A propos d'un {th\'eor\`eme} de {Cobham}",
	booktitle = "Actes de la {F\^ete} des Mots",
	editor = "D. Perrin",
	publisher = "Greco de Programmation, CNRS, Rouen",
	year = 1982,
	pages = "55-59"}

@incollection{Perrin:1990,
	key = "Perrin 1990",
	author = "D. Perrin",
	title = "Finite automata",
	booktitle = "Handbook of Theoretical Computer Science, Volume B:
Formal Models and Semantics",
	editor = "J. van Leeuwen",
	publisher = "Elsevier --- MIT Press",
	year = 1990,
	pages = "1-57"}

@article{Semenov:1977,
	key = "Semenov 1977",
	author = "A. L. Semenov",
	title = "Presburgerness of predicates regular in two number systems",
	journal = SMZ,
	volume = 18,
	year = 1977,
	pages = "403-418",
	note = "In Russian.  English translation in {\it Siberian J.\ Math.}
{\bf 18} (1977), 289--300"}

@article{Fabre:1994,
	key = "Fabre 1994",
	author = "S. Fabre",
	title = "Une {g\'en\'eralisation} du {th\'eor\`eme} de {Cobham}",
	journal = AA,
	volume = 67,
	year = 1994,
	pages = "197-208"}

@article{Michaux&Villemaire:1996a,
	key = "Michaux and Villemaire 1996a",
	author = "C. Michaux and R. Villemaire",
	title = "Presburger arithmetic and recognizability of sets of
natural numbers by automata:  {New} proofs of {Cobham's} and
{Semenov's} theorems",
	journal = APAL,
	volume = 77,
	year = "{\noopsort{1996a}}1996",
	pages = "251-277"}

@incollection{Michaux&Villemaire:1996b,
	key = "Michaux and Villemaire 1996b",
	author = "C. Michaux and R. Villemaire",
	title = "Open questions around {B\"uchi} and {Presburger}
arithmetics",
	booktitle = "Logic: From Foundations to Applications, European
Logic Colloquium",
	editor = "W. Hodges and M. Hyland and C. Steinhorn and J. Truss",
	publisher = "Clarendon",
	address = "Oxford",
	year = "{\noopsort{1996b}}1996",
	pages = "355-385"}

@article{Durand:1998a,
	key = "Durand 1998a",
	author = "F. Durand",
	title = "A generalization of {Cobham's} theorem",
	journal = THCS,
	volume = 31,
	year = "{\noopsort{1998a}}1998",
	pages = "169-185"}

@article{Point&Bruyere:1997,
	key = "Point and {Bruy\`ere} 1997",
	author = "F. Point and V. {Bruy\`ere}",
	title = "On the {Cobham-Semenov} theorem",
	journal = THCS,
	volume = 30,
	year = 1997,
	pages = "197-220"}

@article{Hansel:1998,
	key = "Hansel 1998",
	author = "G. Hansel",
	title = "{Syst\`emes} de {num\'eration} {ind\'ependants} et {synd\'eticit\'e}",
	journal = TCS,
	volume = 204,
	year = 1998,
	pages = "119-130"}

@article{Durand:1998c,
	key = "Durand 1998c",
	author = "F. Durand",
	title = "Sur les ensembles d'entiers reconnaissables",
	journal = JTNB,
	volume = 10,
	year = "{\noopsort{1998c}}1998",
	pages = "65-84"}

@article{Bes:1997,
	key = "{B\`es} 1997",
	author = "A. {B\`es}",
	title = "Undecidable extensions of {B\"uchi} arithmetic and
{Cobham-Sem\"enov} theorem",
	journal = JSL,
	volume = 62,
	year = 1997,
	pages = "1280-1296"}

@unpublished{Hansel&Safer:2000,
	key = "Hansel and Safer 2000",
	author = "G. Hansel and T. Safer",
	title = "Vers un {th\'eor\`eme} de {Cobham} sur les entiers de {Gauss}",
	year = 2000,
	note = "Unpublished manuscript"}