«Використання методів формального синтезу та веріфікації паралельних часопараметризованих моделей для рішення системи лінійних рівнянь методом Гауса», МІА, вип. 52, с. 52–70, Лис 2021, doi: 10.26565/2304-6201-2021-52-07.