1. Amoroso S, Patt Y (1972) Decision procedures for surjectivity and injectivity of parallel maps for tessellation structures. J Comput Syst Sci 6:448–464
2. Berger R (1966) The undecidability of the domino problem. Mem Am Math Soc 66:1–72
3. Culik K II (1996) An aperiodic set of 13 Wang tiles. Discret Math 160:245–251
4. Culik K II, Yu S (1988) Undecidability of CA classification schemes. Complex Syst 2:177–190
5. Durand B, Formenti E, Varouchas G (2003) On undecidability of equicontinuity classification for cellular automata. In: Proceedings of discrete models for complex systems, Lyon, 16–19 June 2003, pp 117–128