@misc{indiciae4442dfb5e984,
  title = {Progress in The Semantic Analysis of Scientific Code},
  author = {Stewart, Mark},
  year = {2000},
  url = {https://ntrs.nasa.gov/citations/20000120370},
  note = {Source identifier: 20000120370}
}