Towards an efficient, machine-independent language for microprogramming. - David A. Patterson 001; Karl Lew; Richard Tuck (MICRO, 1979)