Thomas Buchholz Martin Kutrib On Time Computability of Functions in One-Way Cellular Automata. 329-352 1998 35 Acta Inf. 4 http://link.springer.de/link/service/journals/00236/bibs/8035003/80350329.htm db/journals/acta/acta35.html#BuchholzK98