@misc{indiciaed6d6b0983b91,
  title = {Computing with impure numbers - Automatic consistency checking and units conversion using computer algebra},
  author = {Stoutemyer, D. R.},
  year = {1977},
  url = {https://ntrs.nasa.gov/citations/19780031394},
  note = {Source identifier: 19780031394}
}