Мельников А. К. (АО «Вычислительные решения»). Публикации