Ravi Sethi. A Case Study in Specifying the Semantics of a Programming Language. In POPL. pages 117-130, 1980.
@inproceedings{Sethi80, title = {A Case Study in Specifying the Semantics of a Programming Language}, author = {Ravi Sethi}, year = {1980}, tags = {programming languages, semantics, case study, programming}, researchr = {https://researchr.org/publication/Sethi80}, cites = {0}, citedby = {0}, pages = {117-130}, booktitle = {POPL}, }