@misc{indiciae9b1415ddd3f2,
  title = {Programmable Pacemaker},
  year = {1980},
  url = {https://ntrs.nasa.gov/citations/20030004757},
  note = {Source identifier: 20030004757}
}