І. А. АКУЛЕНКО і Ю. Ю. ЛЕЩЕНКО, «НАВЧАННЯ ДОВЕДЕНЬ МАТЕМАТИЧНИХ ТВЕРДЖЕНЬ У КУРСІ ЗА ВИБОРОМ ‘ОСНОВИ КРИПТОЛОГІЇ’», ПН, вип. 16, Квіт 2018.