1. Adamatzky A (1994) Identification of Cellular Automata. Taylor & Francis, London
2. Amoroso S, Patt YN (1972) Decision procedures for surjectivity and injectivity of parallel maps for tesselation structures. J Comput Syst Sci 6:448–464
3. Baldwin JT (2002) Computation versus simulation. http://www.math.uic.edu/~jbaldwin/pub/cafom.ps . Accessed May 2007
4. Baldwin JT, Shelah S (2000) On the classifiability of cellular automata. Theor Comput Sci 230(1–2):117–129
5. Baumslag G () Magnus. http://caissny.org/ . Accessed May 2007