A. E. Andreev, “Complexity of Nondeterministic Functions”, BRICS, bd. 1, nr. 2, feb. 1994.