Ицыксон, В. М.; Онищук, М. П.; Кечин, В. В.; Алексеев, Я. А. Моделирование поведения функций стандартной библиотеки в задачах анализа программ. ИУС 2024, 24-39.