@article{journals/jacm/KrishnaswamyP80,
	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},
	biburl = {http://www.bibsonomy.org/bibtex/20b20e5ce4e3b7f84519e777ba081dfa8/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/322186.322197}, date = {2003-11-20},
	keywords = {dblp }
}