Authors: W.Lewis Johnson Kevin M.Benner David R.Harris

Citation: W.lewis Johnson et al., Developing formal specifications from informal requirements, IEEE expert IEEE expert intelligent systems and their applications , 8(4), 1993, pp. 82-90