Meyer auf der Heide, Friedhelm: STACS 1989 / On genuinely time bounded computations. In: STACS 1989. Vol.1989. 2009, page 1-16