Monien, Burkhard: A recursive and a grammatical characterization of the exponential-time languages. . In: Theoretical Computer Science. Vol.3.1976 Issue 3, page6174