Meyer auf der Heide, Friedhelm: FOCS 1985 / Nondeterministic versus probabilistic linear search algorithms. . In: FOCS 1985. Jg.1985, S.6573