@article{DBLP:journals/tse/HeitmeyerM83,
author = {Constance L. Heitmeyer and
John D. McLean},
title = {Abstract Requirements Specification: A New Approach and
Its Application},
journal = {IEEE Trans. Software Eng.},
volume = {9},
number = {5},
year = {1983},
pages = {580-589},
ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1983.235117},
bibsource = {DBLP, http://dblp.uni-trier.de}
}