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