Ицыксон, Владимир Михайлович, Михаил Петрович Онищук, Валерий Владимирович Кечин, и Ярослав Алексеевич Алексеев. Моделирование поведения функций стандартной библиотеки в задачах анализа программ. Информационно-управляющие системы, no. 4 (сентябрь 25, 2024): 24-39. просмотрено октябрь 9, 2026. https://i-us.guap.ru/index.php/ius/article/view/16314.