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