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