Ицыксон, В. М. (2012) Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций, Информационно-управляющие системы, (2), сс. 31–38. доступно на: http://proceedings.spiiras.nw.ru/index.php/ius/article/view/13790 (просмотрено: 5июль2024).