Ицыксон, Владимир Михайлович. Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций. Информационно-управляющие системы, no. 2 (апрель 20, 2012): 31–38. просмотрено май 3, 2025. https://www.i-us.ru/index.php/ius/article/view/13790.