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