Gianni Aguzzi, Renzo Pinzani, Renzo Sprugnoli
An Algorithmic Approach to the Semantics of Programming Languages
ICALP, 1972.
@inproceedings{ICALP-1972-AguzziPS, author = "Gianni Aguzzi and Renzo Pinzani and Renzo Sprugnoli", booktitle = "{Proceedings of the Colloquium on Automata, Languages and Programming}", isbn = "0-7204-2074-1", pages = "147--166", title = "{An Algorithmic Approach to the Semantics of Programming Languages}", year = 1972, }