@inproceedings{STOC-1971-ConstableH,
	author        = "Robert L. Constable and Juris Hartmanis",
	booktitle     = "{Proceedings of the Third Annual ACM Symposium on Theory of Computing}",
	doi           = "10.1145/800157.805053",
	pages         = "244--250",
	publisher     = "{ACM}",
	title         = "{Complexity of Formal Translations and Speed-Up Results}",
	year          = 1971,
}