@misc{indiciae765ed521ea64,
  title = {Verifying the interactive convergence clock synchronization algorithm using the Boyer-Moore theorem prover},
  author = {Young, William D.},
  year = {1992},
  url = {https://ntrs.nasa.gov/citations/19920021914},
  note = {Source identifier: 19920021914}
}