Stephen A. Cook: Deterministic CFL's Are Accepted Simultaneously in Polynomial Time and Log Squared Space. STOC 1979: 338-345