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