(1)
Matveev, G. V.; Matulis, V. V. Perfect Verification of Modular Scheme. Журнал Белорусского государственного университета. Математика. Информатика 2018, No. 2, 4-9.