1. Altenbernd, J.-H., Thomas, W., Wohrle, S.: Tiling systems over infinite pictures and their acceptance conditions. In: Developments in Language Theory (2003)
2. Ballier, A., Jeandel, E.: Tilings and model theory. In: First Symposium on Cellular Automata Journées Automates Cellulaires (2008)
3. Berger, R.: The undecidability of the domino problem. Memoirs American Mathematical Society 66, 1966 (1966)
4. Springer Monographs in Mathematics;H.-D. Ebbinghaus,1995
5. Börger, Y.G.E., Grädel, E.: The classical decision problem. Springer, Telos (1996)