@misc{indiciaec408f98bfa00,
  title = {An ensemble pulsar time},
  author = {Petit, Gerard and Thomas, Claudine and Tavella, Patrizia},
  year = {1993},
  url = {https://ntrs.nasa.gov/citations/19940006497},
  note = {Source identifier: 19940006497}
}