Meyer auf der Heide, Friedhelm: STACS 1989 / On genuinely time bounded computations. . In: STACS 1989. Vol.1989, page116