Complexity of formal translations and speed-up results - Constable, Robert Lee 1952-; Hartmanis, Juris (Cornell University <Ithaca, NY>, 1970)