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