Christos A. Papachristou Venkata R. Immaneni Vertical Migration of Software Functions and Algorithms Using Enhanced Microsequencing. 45-61 1993 42 IEEE Trans. Computers 1 db/journals/tc/tc42.html#PapachristouI93