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