Edward M. Carter, Robert I. Winner: Transparent microprogramming in support of abstract type oriented dynamic vertical migration. MICRO 1984: 165-178