@inproceedings(BaDuJe08,
 author       = "Alexis Ballier and Bruno Durand and Emmanuel Jeandel",
 year         = "2008",
 title        = "{Structural aspects of tilings}",
 editor       = "Pascal Weil Susanne Albers",
 booktitle    = "{Proceedings of the 25th Annual Symposium on the Theoretical Aspects of Computer Science}",
 publisher    = "IBFI Schloss Dagstuhl",
 address      = "Bordeaux, France",
 pages        = "61--72",
 url          = "http://hal.archives-ouvertes.fr/hal-00145800",
 note         = "11 pages",
)
@article(Be66,
 author       = "Robert Berger",
 year         = "1966",
 title        = "The undecidability of the domino problem",
 journal      = "Mem. Amer. Math. Soc. No.",
 volume       = "66",
 note         = "72 pages",
)
@incollection(CeRe98,
 author       = "D. Cenzer and J. B. Remmel",
 year         = "1998",
 title        = "{$\Pi ^0_1$} classes in mathematics",
 booktitle    = "Handbook of recursive mathematics, {V}ol.\ 2",
 series       = "Stud. Logic Found. Math.",
 volume       = "139",
 publisher    = "North-Holland",
 address      = "Amsterdam",
 pages        = "623--821",
 doi          = "10.1016/S0049-237X(98)80046-3",
)
@article(CeClSmSoWa86,
 author       = "Douglas Cenzer and Peter Clote and Rick L. Smith and Robert I. Soare and Stanley S. Wainer",
 year         = "1986",
 title        = "Members of countable {$\Pi ^0_1$} classes",
 journal      = "Ann. Pure Appl. Logic",
 volume       = "31",
 number       = "2-3",
 pages        = "145--163",
 doi          = "10.1016/0168-0072(86)90067-9",
 note         = "Special issue: second Southeast Asian logic conference (Bangkok, 1984)",
)
@article(Du99,
 author       = "Bruno Durand",
 year         = "1999",
 title        = "Tilings and quasiperiodicity",
 journal      = "Theoret. Comput. Sci.",
 volume       = "221",
 number       = "1-2",
 pages        = "61--75",
 doi          = "10.1016/S0304-3975(99)00027-4",
 note         = "ICALP '97 (Bologna)",
)
@incollection(DuRoSh10,
 author       = "Bruno Durand and Andrei Romashchenko and Alexander Shen",
 year         = "2010",
 title        = "Effective closed subshifts in 1{D} can be implemented in 2{D}",
 booktitle    = "Fields of logic and computation",
 series       = "Lecture Notes in Comput. Sci.",
 volume       = "6300",
 publisher    = "Springer",
 address      = "Berlin",
 pages        = "208--226",
)
@article(He69,
 author       = "G. A. Hedlund",
 year         = "1969",
 title        = "Endomorphisms and automorphisms of the shift dynamical system",
 journal      = "Math. Systems Theory",
 volume       = "3",
 pages        = "320--375",
)
@inproceedings(JeVa11,
 author       = "Emmanuel Jeandel and Pascal Vanier",
 year         = "2011",
 title        = "{$\Pi _1^0$ sets and tilings}",
 booktitle    = "Theory and Applications of Models of Computation (TAMC)",
 series       = "Lecture Notes in Computer Science",
 volume       = "6648",
 pages        = "230--239",
 doi          = "10.1007/978-3-642-20877-5\_24",
)
@article(KrShWa60,
 author       = "G. Kreisel and J. Shoenfield and Hao Wang",
 year         = "1960",
 title        = "Number theoretic concepts and recursive well-orderings",
 journal      = "Arch. Math. Logik Grundlagenforsch.",
 volume       = "5",
 pages        = "42--64",
)
@book(Ku66,
 author       = "K. Kuratowski",
 year         = "1966",
 title        = "Topology. {V}ol. {I}",
 series       = "New edition, revised and augmented. Translated from the French by J. Jaworowski",
 publisher    = "Academic Press",
 address      = "New York",
)
@book(LiMa95,
 author       = "Douglas Lind and Brian Marcus",
 year         = "1995",
 title        = "An introduction to symbolic dynamics and coding",
 publisher    = "Cambridge University Press",
 address      = "Cambridge",
 doi          = "10.1017/CBO9780511626302",
)
@book(Mi67,
 author       = "Marvin L. Minsky",
 year         = "1967",
 title        = "Computation: finite and infinite machines",
 publisher    = "Prentice-Hall Inc.",
 address      = "Englewood Cliffs, N.J.",
 note         = "Prentice-Hall Series in Automatic Computation",
)
@book(Od89,
 author       = "Piergiorgio Odifreddi",
 year         = "1989",
 title        = "Classical recursion theory",
 series       = "Studies in Logic and the Foundations of Mathematics",
 volume       = "125",
 publisher    = "North-Holland Publishing Co.",
 address      = "Amsterdam",
 note         = "The theory of functions and sets of natural numbers, With a foreword by G. E. Sacks",
)
@article(Ro71,
 author       = "Raphael M. Robinson",
 year         = "1971",
 title        = "Undecidability and nonperiodicity for tilings of the plane",
 journal      = "Invent. Math.",
 volume       = "12",
 pages        = "177--209",
)