@misc{indiciae664a8b398f01,
  title = {Sierra/Aria 4.56 Verification Manual},
  author = {Carnes, Brian R.},
  year = {2020},
  doi = {10.2172/1615879},
  url = {https://www.osti.gov/biblio/1615879},
  note = {Source identifier: 1615879}
}