John Pedersen: Decision Problems for Cellular Automata and Their Semigroups. MFCS 1992: 421-429