1. Local Theory of Degrees of Unsolvability and Δ02-Sets (Kazan University Press, 1987).
2. Truth-table complete computably enumerable sets. In: Computability and Models: Perspectives East and West (S. B Cooper and S. S. Goncharov, eds.), pp. 1–10 (Kluwer Academic/Plenum Publishers, 2003).
3. Recursively Enumerable Sets and Degrees (Springer, Berlin, 1987).
4. Recursively enumerable sets modulo iterated jumps and extensions of Arslanov's completeness criterion
5. Quasicreative sets