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