Issue No. 04 - July/August (1986 vol. 3)
R.A. Mueller , Colorado State University
The influence of software design principles has helped transform a catch-as-catch-can bag of tricks into the emerging scientific discipline of firmware engineering.
M. Duda and R. Mueller, "Formal Methods of Microcode Verification and Synthesis," in IEEE Software, vol. 3, no. , pp. 38-48, 1986.