Itsykson, V. 2012. Automated Program Reengineering at Porting Software into a New Environments via Partial Specifications. Information and Control Systems. 2 (Apr. 2012), 31–38.