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