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