Condition for Injectivity of Global Maps for Tessellation Automata Akira Maruoka Masayuki Kimura 158-162 Information and Control October 1976 32 2 db/journals/iandc/iandc32.html#MaruokaK76