Horst Müller: A one-symbol printing automaton escaping from every labyrinth. Computing 19(2): 95-110 (1977)