Martin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi. Informal and Formal Requirements Specification Languages: Bridging the Gap. IEEE Trans. Software Eng., 17(5):454-466, 1991. [doi]
@article{FraserKV91,
title = {Informal and Formal Requirements Specification Languages: Bridging the Gap},
author = {Martin D. Fraser and Kuldeep Kumar and Vijay K. Vaishnavi},
year = {1991},
url = {http://www.computer.org/tse/ts1991/e0454abs.htm},
researchr = {https://researchr.org/publication/FraserKV91},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {17},
number = {5},
pages = {454-466},
}