"A Survey of Russian Approaches to Perebor (Brute-Force Searches) Algorithms."

Boris A. Trakhtenbrot (1984)
a service of Schloss Dagstuhl - Leibniz Center for Informatics