@article{journals/iandc/KrishnaswamyB78b,
	title = {Formal Methodology of Translation. II. Capabilities and Limitations},
	author = {Ramachandran Krishnaswamy and H. William Buttelmann},
	journal = {Information and Control},
	month = {December},
	number = {3},
	pages = {272-283},
	url = {http://theory.lcs.mit.edu/~iandc/ic78.html},
	volume = {39},
	year = {1978},
	biburl = {http://www.bibsonomy.org/bibtex/25d28ca22b4f7d3f333cf564714ae4dfb/dblp},
	description = {dblp},
	date = {2003-11-20},
	keywords = {dblp }
}