references.bib

@misc{small_step_semantics,
  label =  {CdoSem},
  author = {{Formal Methods Team, TBCO}},
  title  = {{Small Step Semantics for Bcc}},
  year   = {2018},
  url   = {https://github.com/The-Blockchain-Company/bcc-chain/blob/master/specs/semantics/latex/small-step-semantics.tex},
}


@misc{delegation_design,
  label =  {cdoDel},
  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},
}

@article{chimeric,
  author  = {Joachim Zahnentferner},
  title   = {Chimeric Ledgers: Translating and Unifying UTXO-based and Account-based Cryptocurrencies},
  journal = {Cryptology ePrint Archive, Report 2018/262},
  year    = {2018},
  url     = {https://eprint.iacr.org/2018/262},
}

@article{utxo_scripts,
  author  = {Joachim Zahnentferner},
  title   = {An Abstract Model of UTxO-based Cryptocurrencies with Scripts},
  journal = {Cryptology ePrint Archive, Report 2018/469},
  year    = {2018},
  url     = {https://eprint.iacr.org/2018/469},
}

@article{multi_currency,
  author  = {Joachim Zahnentferner},
  title   = {Multi-Currency Ledgers},
  journal = {??},
  year    = {2018},
}

@article{sophie_consensus,
  author = {{Formal Methods Team, TBCO}},
  title   = {{?? - Sophie Consensus}},
  year    = {TODO},
}

@misc{sophie_spec,
  label = {CdoLedger},
  author = {{Formal Methods Team, TBCO}},
  title  = {{A Formal Specification of the Bcc Ledger}},
  year   = {2019},
  url = {https://github.com/The-Blockchain-Company/bcc-ledger-specs/tree/master/sophie/chain-and-ledger/formal-spec/ledger-spec.tex}
}

@misc{shardagnostic,
    label = {CdoProt},
    author = {Aggelos Kiayias and Alexander Russell and Bernardo David and Roman Oliynykov},
    title = {Shardagnostic: A Provably Secure Proof-of-Stake Blockchain Protocol},
    howpublished = {Cryptology ePrint Archive, Report 2016/889},
    year = {2016},
    note = {\url{http://eprint.iacr.org/2016/889}},
}

@inproceedings{chakravarty2020extended,
  title={The extended UTXO model},
  author={Chakravarty, Manuel MT and Chapman, James and MacKenzie, Kenneth and Melkonian, Orestis and Jones, Michael Peyton and Wadler, Philip},
  booktitle={International Conference on Financial Cryptography and Data Security},
  pages={525--539},
  year={2020},
  organization={Springer},
  url={https://tbco.io/en/research/library/papers/the-extended-utxo-model/}
}

@misc{formal_multicur,
label = {CdoFMCUR},
author = {{Zerepoch Team, Ledger Team, TBCO}},
title = {{A Formal Specification of a UTxO Ledger with Scripts and Multi-Currency}},
year  = {2019},
url = {https://github.com/The-Blockchain-Company/bcc-ledger-specs/blob/master/sophie/chain-and-ledger/formal-spec/scripts-multicurrency.tex}
}

@misc{utxo_ma,
author = {{Zerepoch Team, TBCO}},
title = {{$UTXO_{ma}$: UTXO with Multi-Asset Support}},
year = {2020}}
}

@misc{multi_sig,
  label = {CdoMSIG},
  author = {{Formal Methods Team, TBCO}},
  title = {{A Formal Specification of a Multi-Signature Scheme using Scripts}},
  year  = {2019},
  url = {https://github.com/The-Blockchain-Company/bcc-ledger-specs/blob/master/sophie/chain-and-ledger/formal-spec/multi-sig.tex}
}

@misc{non_int,
  label = {CdoNonInt},
  author = {{Matthias Gudemann}},
  title = {{A Specification of the Non-Integral Calculations in the Ledger}},
  year  = {2019},
  url = {https://hydra.tbco.io/build/779843/download/1/non-integer-calculations.pdf}
}