Takeo Yaku Surjectivity of Nondeterministic Parallel Maps Induced by Nondeterministic Cellular Automata. 1-5 1976 12 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss12.html#Yaku76