1. Moroz O.Y., Tolstoluzka O.G., Savchenko R.V. Аналіз існуючих технологій верифікації паралельних програм // Вісник Харківського національного університету імені В.Н. Каразіна, серія «Математичне моделювання. Інформаційні технології. Автоматизовані системи управління». 2020. (46). C. 76-81.