О. Мороз, «Технологія семантико-числової верифікації часопараметризованих паралельних програм для інформаційних і управляючих систем», МІА, вип. 55, с. 32-37, Жов 2022.