1. Ицыксон В.М. Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций // Информационно-управляющие системы. 2012. № 2. C. 31–38.