Г. В. Матвеев и В. В. Матулис, «Совершенная верификация модулярной схемы», Журнал Белорусского государственного университета. Математика. Информатика, вып. 2, сс. 4-9, ноя. 2018.