The Gacs-Kurdyumov-Levin automaton revisited
scientific article; zbMATH DE number 111955