Mikołaj Bojańczyk, Bartek Klin & Slawomir Lasota (2011):
Automata with Group Actions.
In: LICS.
IEEE Computer Society,
pp. 355–364,
doi:10.1109/LICS.2011.48.
Mikołaj Bojańczyk, Bartek Klin, Slawomir Lasota & Szymon Toruńczyk (2013):
Turing Machines with Atoms.
In: LICS.
IEEE Computer Society,
pp. 183–192,
doi:10.1109/LICS.2013.24.
Matthew Cook (2004):
Universality in Elementary Cellular Automata.
Complex Systems 15(1),
pp. 1–40.
Murdoch Gabbay & Andrew M. Pitts (1999):
A New Approach to Abstract Syntax Involving Binders.
In: LICS.
IEEE Computer Society,
pp. 214–224,
doi:10.1109/LICS.1999.782617.
Murdoch James Gabbay & Vincenzo Ciancia (2011):
Freshness and Name-Restriction in Sets of Traces with Names.
In: FOSSACS,
LNCS 6604.
Springer,
pp. 365–380,
doi:10.1007/978-3-642-19805-2_25.
Andrew Ilachinski (2001):
Cellular Automata - A Discrete Universe.
World Scientific,
doi:10.1142/4702.