@misc{indiciaec2c80c6ff7af,
  title = {Requirements engineering and program synthesis: Mutually exclusive or synergistic?},
  author = {Lowry, M. R.},
  year = {2001},
  url = {https://ntrs.nasa.gov/citations/20020004219},
  note = {Source identifier: 20020004219}
}