А. Г. Владимиров, “Свойства эффективности интуиционистской теории множеств со схемой collection”, Матем. заметки, 89:5 (2011), 658–672; A. G. Vladimirov, “Effectivity Properties of Intuitionistic Set Theory with Collection Scheme”, Math. Notes, 89:5 (2011), 619–632