Meyer auf der Heide, Friedhelm: STACS 1989 / On genuinely time bounded computations. . In: STACS 1989. Jg.1989, S.116