Meyer auf der Heide, Friedhelm: FOCS 1985 / Nondeterministic versus probabilistic linear search algorithms. . In: FOCS 1985. Vol.1985, page6573