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