Ицыксон, В. М., Онищук, М. П., Кечин, В. В. и Алексеев, Я. А. (2024) Моделирование поведения функций стандартной библиотеки в задачах анализа программ, Информационно-управляющие системы, (4), сс. 24-39. DOI: 10.31799/1684-8853-2024-4-24-39.