Nancy J. Wahl, Stephen R. Schach, Robert I. Winner: A dynamic very high-level debugger for low-level microprograms. MICRO 1986: 148-155