A non-deteministic time hierarchy over the reals. F. Cucker; J. L. Montaña; L. M. Pardo — 1993 Extracta Mathematicae