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. 4, pp. 49-58, July/August 1986, doi:10.1109/MS.1986.234068