A Finite State Probabilistic Automaton that Accepts a Context Sensitive Language that is Not Context Free - Kuo An Chen; Ming-Kuei Hu (Inf. Control., 1977)