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