Institut sistem informatiki im. A.P. Ershova & Shelekhov, V. I. (2004). Metody predikatnogo programmirovani︠i︡a: Sbornik nauchnykh rabot. In-t sistem informatiki im. A.P. Ershova SO RAN.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Institut sistem informatiki im. A.P. Ershova و V. I. Shelekhov. Metody Predikatnogo Programmirovani︠i︡a: Sbornik Nauchnykh Rabot. Novosibirsk: In-t sistem informatiki im. A.P. Ershova SO RAN, 2004.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Institut sistem informatiki im. A.P. Ershova و V. I. Shelekhov. Metody Predikatnogo Programmirovani︠i︡a: Sbornik Nauchnykh Rabot. In-t sistem informatiki im. A.P. Ershova SO RAN, 2004.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.