ИЦЫКСОН, В. М. Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций. Информационно-управляющие системы, n. 2, p. 31–38, 20 abr. 2012.