Hisao Yamada Serafino Amoroso A Completeness Problem for Pattern Generation in Tessellation Automata. 137-176 1970 4 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss4.html#YamadaA70