@misc{indiciaea41f3060d6af,
  title = {Proving Program Termination With Matrix Weighted Digraphs},
  author = {Dutle, Aaron},
  year = {2015},
  url = {https://ntrs.nasa.gov/citations/20160006419},
  note = {Source identifier: 20160006419}
}