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