Issue No. 04 - July/August (1986 vol. 3)
S. Dasgupta , University of Southwestern Louisiana
Some key ideas originating in the domain of software technology have been used in the design of the architecture description language S*M.
S. Dasgupta, P.A. Wilsey, J. Heinanen, "Axiomatic Specifications in Firmware Development Systems", IEEE Software, vol. 3, no. , pp. 49-58, July/August 1986, doi:10.1109/MS.1986.234068