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