J. Fredrick Nixon, Stephen R. Schach, Robert I. Winner: A microarchitecture description language for retargeting firmware tools. MICRO 1986: 34-43