The Recognition of Deterministic CFL's in Small Time and Space Burchard von Braunmühl Stephen Cook Kurt Mehlhorn Rutger Verbeek 34-51 Information and Control January/February 1983 56 1/2 db/journals/iandc/iandc56.html#BraunmuhlCMV83