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,
}











