William C. Hopkins, M. J. Horton, C. S. Arnold: Target-independent high-level microprogramming. MICRO 1985: 137-144