Shimon Even Ami Litman Peter Winkler Computing with Snakes in Directed Networks of Automata. 158-170 1997 24 J. Algorithms 1 db/journals/jal/jal24.html#EvenLW97