@inproceedings(BojanczykKL11,
 author       = {Miko{\l}aj Boja{\'{n}}czyk and Bartek Klin and Slawomir Lasota},
 year         = {2011},
 title        = {Automata with Group Actions},
 booktitle    = {LICS},
 publisher    = {{IEEE} Computer Society},
 pages        = {355--364},
 doi          = {10.1109/LICS.2011.48},
)
@inproceedings(BojanczykKLT13,
 author       = {Miko{\l}aj Boja{\'{n}}czyk and Bartek Klin and Slawomir Lasota and Szymon Toru{\'{n}}czyk},
 year         = {2013},
 title        = {Turing Machines with Atoms},
 booktitle    = {LICS},
 publisher    = {{IEEE} Computer Society},
 pages        = {183--192},
 doi          = {10.1109/LICS.2013.24},
)
@article(ref:Cook2004,
 author       = {Matthew Cook},
 year         = {2004},
 title        = {Universality in {E}lementary {C}ellular {A}utomata},
 journal      = {Complex Systems},
 volume       = {15},
 number       = {1},
 pages        = {1--40},
)
@inproceedings(GabbayP99,
 author       = {Murdoch Gabbay and Andrew M. Pitts},
 year         = {1999},
 title        = {A New Approach to Abstract Syntax Involving Binders},
 booktitle    = {LICS},
 publisher    = {{IEEE} Computer Society},
 pages        = {214--224},
 doi          = {10.1109/LICS.1999.782617},
)
@inproceedings(DGabbayC11,
 author       = {Murdoch James Gabbay and Vincenzo Ciancia},
 year         = {2011},
 title        = {Freshness and Name-Restriction in Sets of Traces with Names},
 booktitle    = {FOSSACS},
 series       = {LNCS},
 volume       = {6604},
 publisher    = {Springer},
 pages        = {365--380},
 doi          = {10.1007/978-3-642-19805-2\_25},
)
@book(ref:Ilachinski2001,
 author       = {Andrew Ilachinski},
 year         = {2001},
 title        = {Cellular {A}utomata - {A} {D}iscrete {U}niverse},
 publisher    = {World Scientific},
 doi          = {10.1142/4702},
)
@inproceedings(KozenMP015,
 author       = {Dexter Kozen and Konstantinos Mamouras and Daniela Petrisan and Alexandra Silva},
 year         = {2015},
 title        = {Nominal Kleene Coalgebra},
 booktitle    = {ICALP},
 series       = {LNCS},
 volume       = {9135},
 publisher    = {Springer},
 pages        = {286--298},
 doi          = {10.1007/978-3-662-47666-6\_23},
)
@inproceedings(MontanariP00,
 author       = {Ugo Montanari and Marco Pistore},
 year         = {2000},
 title        = {pi-Calculus, Structured Coalgebras, and Minimal HD-Automata},
 booktitle    = {MFCS},
 series       = {LNCS},
 volume       = {1893},
 pages        = {569--578},
 doi          = {10.1007/3-540-44612-5\_52},
)
@article(ref:Wolfram84,
 author       = {Stephen Wolfram},
 year         = {1984},
 title        = {Cellular {A}utomata as {M}odels of {C}omplexity},
 journal      = {Nature},
 volume       = {311},
 number       = {4},
 pages        = {419--424},
 doi          = {10.1038/311419a0},
)
@book(ref:nks,
 author       = {Stephen Wolfram},
 year         = {2002},
 title        = {A New Kind of Science},
 publisher    = {Wolfram Media, Inc.},
)
@techreport(ref:Zuse1970,
 author       = {K. Zuse},
 year         = {1970},
 title        = {Calculating space},
 type         = {Technical Report},
 institution  = {Proj, MAC, MIT, Cambridge, Mass.},
 note         = {Technical Translation AZT-70-164-GEMIT. Original title: "Rechnender Raum".},
)