Correct Computation Rules for Recursive Languages.

Peter J. DowneyRavi Sethi
Published in: SIAM J. Comput. (1976)
Keyphrases