Probabilistic algorithms", in Algorithms and Complexity (1976)

by M O Rabin