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