Pavel Strnad: Turing Machine Recognition. MFCS 1973: 331-332