А. Г. Дубинский і О. А. Хорольский, «Розробка метода перевірки блок-схем медичних алгоритмів», TAPR, т. 2, вип. 2(28), с. 16–20, Бер 2016.