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