\begin{thebibliography}{1}

\bibitem{doi:10.1002/j.1538-7305.1961.tb03975.x}
Hao Wang.
\newblock Proving theorems by pattern recognition — ii.
\newblock {\em Bell System Technical Journal}, 40(1):1--41, 1961.

\bibitem{berger1966undecidability}
R.~Berger.
\newblock {\em The Undecidability of the Domino Problem}.
\newblock Memoirs ; No 1/66. American Mathematical Society, 1966.

\bibitem{Robinson1971}
Raphael~M. Robinson.
\newblock Undecidability and nonperiodicity for tilings of the plane.
\newblock {\em Inventiones mathematicae}, 12(3):177--209, Sep 1971.

\bibitem{Grunbaum:1986:TP:19304}
Branko Gr\"{u}nbaum and G~C Shephard.
\newblock {\em Tilings and Patterns}.
\newblock W. H. Freeman \& Co., New York, NY, USA, 1986.

\bibitem{Kari:1996:SAS:245761.245817}
Jarkko Kari.
\newblock A small aperiodic set of wang tiles.
\newblock {\em Discrete Math.}, 160(1-3):259--264, November 1996.

\bibitem{DBLP:journals/corr/JeandelR15}
Emmanuel Jeandel and Micha{\"{e}}l Rao.
\newblock An aperiodic set of 11 wang tiles.
\newblock {\em CoRR}, abs/1506.06492, 2015.

\end{thebibliography}
