Naming and Binding in a Vertical Migration Environment - Winner, R I (IEEE Transactions on Software Engineering)