Dyer, 1980. One-way bounded cellular automata 44.. https://doi.org/10.1016/s0019-9958(80)90164-3