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.
@inproceedings{DowneyS75, title = {Correct Computation Rules for Recursive Languages (Extended Abstract)}, author = {Peter J. Downey and Ravi Sethi}, year = {1975}, tags = {rule-based, rules}, researchr = {https://researchr.org/publication/DowneyS75}, cites = {0}, citedby = {0}, pages = {48-56}, booktitle = {16th Annual Symposium on Foundations of Computer Science, 13-15 October, 1975, The University of California, Berkeley, CA, USA}, publisher = {IEEE}, }