On Goedel speed up and succinctness of language representation - Hartmanis, Juris (Cornell University <Ithaca, NY>, 1982)