@incollection{Beauquier:1985,
	key = "Beauquier 1985",
	author = "D. Beauquier",
	title = "Ensembles reconnaissables de mots bi-infinis",
	booktitle = "Automata on Infinite Words",
	editor = "M. Nivat and D. Perrin",
	year = 1985,
	publisher = SV,
	series = LNICS,
	volume = 192,
	pages = "28-46"}

@book{Lind&Marcus:1995,
	key = "Lind and Marcus 1995",
	author = "D. Lind and B. Marcus",
	title = "An Introduction to Symbolic Dynamics and Coding",
	publisher = CUP,
	year = 1995}

@inproceedings{Nivat&Perrin:1982,
	key = "Nivat and Perrin 1982",
	author = "M. Nivat and D. Perrin",
	title = "Ensembles reconnaissables de mots biinfinis",
	booktitle = STOC82,
	year = 1982,
	pages = "47-59",
	publisher = ACM}

@article{Nivat&Perrin:1986,
	key = "Nivat and Perrin 1986",
	author = "M. Nivat and D. Perrin",
	title = "Ensembles reconnaissables de mots biinfinis",
	journal = CJM,
	volume = 38,
	year = 1986,
	pages = "513-537"}

@article{Van&Thomas&Subramanian&Siromoney:1990,
	key = "Van, Thomas, Subramanian, and Siromoney 1990",
	author = "Van, D. L. and D. G. Thomas and K. G. Subramanian and R.
Siromoney",
	title = "Bi-infinitary codes",
	journal = RAIRO,
	volume = 24,
	year = 1990,
	pages = "67-87"}

@article{Hurd:1990,
	key = "Hurd 1990",
	author = "L. P. Hurd",
	title = "Recursive cellular automata invariant sets",
	journal = "Complex Systems",
	volumne = 4,
	year = 1990,
	pages = "119-129"}

@article{Devolder&Timmerman:1992,
	key = "Devolder and Timmerman 1992",
	author = "J. Devolder and E. Timmerman",
	title = "Finitary codes for biinfinite words",
	journal = RAIRO,
	volume = 26,
	year = 1992,
	pages = "363-386"}