references.bib

@misc{small_step_semantics,
  author = {Formal Methods Team, TBCO},
  title  = {Small Step Semantics for Bcc},
  year   = {2018},
  url   = {https://hydra.tbco.io/job/Bcc/bcc-chain/semanticsSpec/latest/download/1/small-steps.pdf}
}

@misc{cole_ledger_spec,
  author = {Damian Nadales, TBCO \hypertarget{cole_ledger_spec_link}{}},
  title = {A Formal Specification of the Bcc Ledger},
  titleaddon = {(for the Cole release)},
  year = {2019},
  url   = {https://hydra.tbco.io/job/Bcc/bcc-ledger-specs/coleLedgerSpec/latest/download/1/ledger-spec.pdf}
}

@misc{shardagnostic,
  author = {Aggelos Kiayias and Alexander Russell and Bernardo David and Roman Oliynykov},
  title = {Shardagnostic: A Provably Secure Proof-of-Stake Blockchain Protocol},
  year = {2017},
  url   = {https://eprint.iacr.org/2016/889.pdf}
}

@misc{shardagnostic_optimum,
  author = {Bernardo David and Peter Gaži and Aggelos Kiayias and Alexander Russell},
  title = {Shardagnostic Optimum: An adaptively-secure, semi-synchronous proof-of-stake protocol},
  year = {2017},
  url   = {https://eprint.iacr.org/2017/573.pdf}
}

@misc{shardagnostic_bft,
  author = {Aggelos Kiayias and Alexander Russell},
  title = {Shardagnostic-BFT: A Simple Byzantine Fault Tolerant Consensus Protocol},
  year = {2018},
  url   = {https://api.zotero.org/groups/478201/items/J6E2Q8L7/file/view?key=Qcjdk4erSuUZ8jvAah59Asef}
}

@misc{delegation_design,
  author = {Philipp Kant and Lars Br\"unjes and Duncan Coutts},
  title  = {Design Specification for Delegation and Incentives in
Bcc},
  year   = {2018},
  url   = {https://github.com/The-Blockchain-Company/bcc-ledger-specs/tree/master/docs/delegation_design_spec},
}