@misc{indiciae47800ac8fdca,
  title = {JPL pulsar timing observations. I - The Vela pulsar},
  author = {Downs, G. S.},
  year = {1981},
  url = {https://ntrs.nasa.gov/citations/19820031621},
  note = {Source identifier: 19820031621}
}