МАТВЕЕВ, Г. В.; МАТУЛИС, В. В. Совершенная верификация модулярной схемы. Журнал Белорусского государственного университета. Математика. Информатика, n. 2, p. 4–9, 7 ноя.2018.