Surjectivity of nondeterministic parallel maps induced by nondeterministic cellular automata
scientific article; zbMATH DE number 3529733