@article{Lamport,
 author = {Leslie Lamport and P. M. Melliar-Smith},
 title = {Synchronizing clocks in the presence of faults},
 journal = {J. ACM},
 volume = {32},
 number = {1},
 year = {1985},
 issn = {0004-5411},
 pages = {52--78},
 doi = {http://doi.acm.org/10.1145/2455.2457},
 publisher = {ACM Press},
 address = {New York, NY, USA},
}

@inproceedings{Lundelius,
 author = {Jennifer Lundelius and Nancy Lynch},
 title = {A new fault-tolerant algorithm for clock synchronization},
 booktitle = {Proceedings of PODC '84},
 year = {1984},
 isbn = {0-89791-143-1},
 pages = {75--88},
 location = {Vancouver, British Columbia, Canada},
 doi = {http://doi.acm.org/10.1145/800222.806738},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@techreport{Schneider87,
  author       = "Fred B. Schneider",
  title        = "Understanding protocols for Byzantine clock synchronization",
  institution  = "Department of Computer Science, Cornell University",
  year         = 1987,
  number       = {87-859},
  month        = {August}
}

@inproceedings{Shankar92,
  author       = "Natarajan Shankar",
  title        = "Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization",
  booktitle    = "Formal Techniques in Real-Time and Fault-Tolerant Systems",
  year         = 1992,
  volume       = "571",
  series       = "LNCS",
  editor       = "J. Vytopil",
  publisher    = "Springer Verlag",
  page         = {217--236},
  month        = jan
}