Works by or with L.A. Levin in the bibliography:Универсальные задачи перебора (1973)Average Case Complete Problems (1986)