Irene Greif, Albert R. Meyer. Specifying Programming Language Semantics. In Barry K. Rosen, Alfred V. Aho, Stephen N. Zilles , editors, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming language. pages 180-189, ACM, 1979. [doi]
@inproceedings{GreifM79, title = {Specifying Programming Language Semantics}, author = {Irene Greif and Albert R. Meyer}, year = {1979}, tags = {programming languages, semantics, programming}, researchr = {https://researchr.org/publication/GreifM79}, cites = {0}, citedby = {0}, pages = {180-189}, booktitle = {Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming language}, editor = {Barry K. Rosen and Alfred V. Aho and Stephen N. Zilles }, publisher = {ACM}, }