Cellular Automata and Discrete Complex Systems - Kari, Jarkko; Kutrib, Martin; Malcher, Andreas; Kutrib, Martin; Malcher, Andreas (Springer Berlin Heidelberg, 2013)