Howard C. Card Adonios Thanailakis Werner Pries Robert D. McLeod Analysis of Bounded Linear Cellular Automata Based on a Method of Image Charges. 473-480 1986 33 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss33.html#CardTPM86 https://doi.org/10.1016/0022-0000(86)90063-2