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.R. Duda, R.A. Mueller, "Formal Methods of Microcode Verification and Synthesis", IEEE Software, vol. 3, no. , pp. 38-48, July/August 1986, doi:10.1109/MS.1986.233753