Peter J. Downey, Ravi Sethi. Correct Computation Rules for Recursive Languages (Extended Abstract). In 16th Annual Symposium on Foundations of Computer Science, 13-15 October, 1975, The University of California, Berkeley, CA, USA. pages 48-56, IEEE, 1975.
Abstract is missing.