ИЦЫКСОН, В. М.; ОНИЩУК, М. П.; КЕЧИН, В. В.; АЛЕКСЕЕВ, Я. А. Моделирование поведения функций стандартной библиотеки в задачах анализа программ. Информационно-управляющие системы, n. 4, p. 24-39, 25 set. 2024.