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