Матвеев, Геннадий Васильевич, и Владислав Вячеславович Матулис. «Совершенная верификация модулярной схемы». Журнал Белорусского государственного университета. Математика. Информатика, no. 2 (ноябрь 7, 2018): 4–9. просмотрено июль 17, 2026. https://journals.bsu.by/index.php/mathematics/article/view/778.