Correct Computation Rules for Recursive Languages

Peter J. Downey, Ravi Sethi. Correct Computation Rules for Recursive Languages. SIAM Journal on Computing, 5(3):378-401, 1976.

Abstract

Abstract is missing.