@misc{indiciae1e0a2c072475,
  title = {The integration of system specifications and program coding},
  author = {Luebke, W. R.},
  year = {1970},
  url = {https://ntrs.nasa.gov/citations/19730010482},
  note = {Source identifier: 19730010482}
}