T. Lepistö, “Finite point property in context sensitive grammars”, Ann. Fenn. Math., no. 534, Jan. 1973.