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