Cellular Automata and Discrete Complex Systems - Jan M. Baetens, Martin Kutrib (Springer, 2018)