W. Lewis Johnson, Kevin Benner, David R. Harris. Developing Formal Specifications from Informal Requirements. IEEE Intelligent Systems, 8(4):82-90, 1993. [doi]
@article{JohnsonBH93, title = {Developing Formal Specifications from Informal Requirements}, author = {W. Lewis Johnson and Kevin Benner and David R. Harris}, year = {1993}, url = {http://csdl.computer.org/comp/mags/ex/1993/04/x4082abs.htm}, researchr = {https://researchr.org/publication/JohnsonBH93}, cites = {0}, citedby = {0}, journal = {IEEE Intelligent Systems}, volume = {8}, number = {4}, pages = {82-90}, }