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