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