Aleksyuk A., Itsykson V. Automated Semantics-Driven Source Code Migration: a Pilot Prototype // # 10, 2017