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