@book(FHMV,
 author       = {R. Fagin and J. Y. Halpern and Y. Moses and M. Y. Vardi},
 year         = {1995},
 title        = {Reasoning About Knowledge},
 publisher    = {MIT Press},
 address      = {Cambridge, MA},
 note         = {A slightly revised paperback version was published in 2003.},
)
@incollection(GKL15,
 author       = {J. Garay and A. Kiayias and N. Leonardos},
 year         = {2015},
 title        = {The bitcoin backbone protocol: Analysis and applications},
 booktitle    = {Advances in Cryptology-EUROCRYPT 2015},
 publisher    = {Springer},
 pages        = {281--310},
 doi          = {10.1007/978-3-662-46803-6\_10},
)
@article(Grove95,
 author       = {A. J. Grove},
 year         = {1995},
 title        = {Naming and identity in epistemic logic {II}: a first-order logic for naming},
 journal      = {Artificial Intelligence},
 volume       = {74},
 number       = {2},
 pages        = {311--350},
 doi          = {10.1016/0004-3702(95)98593-D},
)
@article(GroveH2,
 author       = {A. J. Grove and J. Y. Halpern},
 year         = {1993},
 title        = {Naming and identity in epistemic logics, {P}art {I}: the propositional case},
 journal      = {Journal of Logic and Computation},
 volume       = {3},
 number       = {4},
 pages        = {345--378},
 doi          = {10.1093/logcom/3.4.345},
)
@article(HM90,
 author       = {J. Y. Halpern and Y. Moses},
 year         = {1990},
 title        = {Knowledge and common knowledge in a distributed environment},
 journal      = {Journal of the ACM},
 volume       = {37},
 number       = {3},
 pages        = {549--587},
 doi          = {10.1145/79147.79161},
)
@article(HMW,
 author       = {J. Y. Halpern and Y. Moses and O. Waarts},
 year         = {2001},
 title        = {A characterization of eventual {B}yzantine agreement},
 journal      = {SIAM Journal on Computing},
 volume       = {31},
 number       = {3},
 pages        = {838--865},
 doi          = {10.1137/S0097539798340217},
)
@article(HT,
 author       = {J. Y. Halpern and M. R. Tuttle},
 year         = {1993},
 title        = {Knowledge, probability, and adversaries},
 journal      = {Journal of the ACM},
 volume       = {40},
 number       = {4},
 pages        = {917--962},
 doi          = {10.1145/153724.153770},
)
@article(MosesShoham,
 author       = {Y. Moses and Y. Shoham},
 year         = {1993},
 title        = {Belief as defeasible knowledge},
 journal      = {Artificial Intelligence},
 volume       = {64},
 number       = {2},
 pages        = {299--322},
 doi          = {10.1016/0004-3702(93)90107-M},
)
@article(MT,
 author       = {Y. Moses and M. R. Tuttle},
 year         = {1988},
 title        = {Programming simultaneous actions using common knowledge},
 journal      = {Algorithmica},
 volume       = {3},
 pages        = {121--169},
 doi          = {10.1007/BF01762112},
)
@unpublished(nakamoto2008bitcoin,
 author       = {S. Nakamoto},
 year         = {2008},
 title        = {Bitcoin: A peer-to-peer electronic cash system},
 note         = {Http://www.bitcoin.org/bitcoin.pdf},
)
@inproceedings(PSS16,
 author       = {R. Pass and L. Seeman and A. Shelat},
 year         = {2017},
 title        = {Analysis of the blockchain protocol in asynchronous networks},
 booktitle    = {Eurocrypt},
 pages        = {643--673},
 doi          = {10.1007/978-3-319-56614-6\_22},
)
@misc(PS16a,
 author       = {R. Pass and E. Shi},
 year         = {2016},
 title        = {FruitChains: a fair blockchain},
 howpublished = {Cryptology ePrint Archive, Report 2016/916},
 note         = {\url{http://eprint.iacr.org/2016/916}},
)
@misc(PS16b,
 author       = {R. Pass and E. Shi},
 year         = {2016},
 title        = {Hybrid consensus},
 howpublished = {\url{http://eprint.iacr.org/2016/917}},
)