title = {On the Correctness of Semantic-Syntax-Directed Translations.},
author = {Ramachandran Krishnaswamy and Arthur B. Pyster}, journal = {J. ACM}, number = {2}, pages = {338-355}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm27.html#KrishnaswamyP80}, volume = {27}, year = {1980}, description = {dblp}, ee = {http://doi.acm.org/10.1145/322186.322197}, date = {2003-11-20},
keywords = {dblp }
::