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