Masakazu Nasu Namio Honda A Completeness Property of One-Dimensional Tessellation Automata. 36-48 1976 12 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss12.html#NasuH76