Claus-Peter Schnorr: Vier Entscheidbarkeitsprobleme für kontextsensitive Sprachen. Computing 3(4): 311-317 (1968)