The Use of Software Simulators in the Testing and Debugging of Microprogram Logic. - Glenford J. Myers; David G. Hocker (IEEE Trans. Computers, 1981)