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