Studies in constructive mathematics and mathematical logic. Part X, Zap. Nauchn. Sem. POMI, 241, ed. E. Ya. Dantsin, V. P. Orevkov, 1997 http://mi.mathnet.ru/book334
Studies in constructive mathematics and mathematical logic. Part IX, Zap. Nauchn. Sem. POMI, 220, ed. E. Ya. Dantsin, V. P. Orevkov, 1995, 149 ñ. http://mi.mathnet.ru/book922