@misc{indiciae472e1acbc4eb,
  title = {Digital signal processor and processing method for GPS receivers},
  author = {Thomas, Jr., Jess B.},
  year = {1989},
  url = {https://ntrs.nasa.gov/citations/20080012359},
  note = {Source identifier: 20080012359}
}