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