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