Dines Bjørner. Programming Languages: Formal Development of Interpreters and Compilers. In E. Morlet, D. Ribbens, editors, International Computing Symposium 1977, Proceedings of the International Computing Symposium 1977, Liège, Belgium, 4-7 April 1977 (Preprint). pages 1-21, North-Holland, 1977.
@inproceedings{Bjorner77, title = {Programming Languages: Formal Development of Interpreters and Compilers}, author = {Dines Bjørner}, year = {1977}, tags = {programming languages, interpreter, compiler, programming}, researchr = {https://researchr.org/publication/Bjorner77}, cites = {0}, citedby = {0}, pages = {1-21}, booktitle = {International Computing Symposium 1977, Proceedings of the International Computing Symposium 1977, Liège, Belgium, 4-7 April 1977 (Preprint)}, editor = {E. Morlet and D. Ribbens}, publisher = {North-Holland}, isbn = {0-7204-0741-9}, }