МАТВЕЕВ, Геннадий Васильевич; МАТУЛИС, Владислав Вячеславович. Совершенная верификация модулярной схемы. Журнал Белорусского государственного университета. Математика. Информатика, [S. l.], n. 2, p. 4–9, 2018. Disponível em: https://journals.bsu.by/index.php/mathematics/article/view/778. Acesso em: 18 июл. 2026.