recreated incentives

shelley/chain-and-ledger/formal-spec/references.bib

@@ -1,34 +1,34 @@
 @misc{small_step_semantics,
-  label =  {CdoSem},
-  author = {{Formal Methods Team, IOHK}},
-  title  = {{Small Step Semantics for Cardano}},
+  label =  {FM-TR-2018-01},
+  author = {{IOHK Formal Methods Team}},
+  title  = {{Small Step Semantics for Cardano, IOHK Technical Report FM-TR-2018-01}},
   year   = {2018},
   url   = {https://github.com/input-output-hk/cardano-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 Cardano}},
+  label =  {SL-D1},
+  author = {{IOHK Formal Methods Team}},
+  title  = {{Design Specification for Delegation and Incentives in Cardano, IOHK Deliverable SL-D1}},
   year   = {2018},
   url   = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/docs/delegation_design_spec},
 }
 
 @misc{byron_ledger_spec,
-  author = {Damian Nadales, IOHK \hypertarget{byron_ledger_spec_link}{}},
-  title = {A Formal Specification of the Cardano Ledger},
-  titleaddon = {(for the Byron release)},
-  year = {2019},
-  url   = {https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/byronLedgerSpec/latest/download-by-type/doc-pdf/ledger-spec}
+  label =  {BL-D1},
+  author = {{IOHK Formal Methods Team}},
+  title  = {{Byron Ledger Specification, IOHK Deliverable BL-D1}},
+  year   = {2019},
+  url   = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/docs/},
 }
 
 @misc{byron_chain_spec,
-  author = {Marko Dimja\v{s}evi\'c, Nicholas Clarke, IOHK \hypertarget{byron_chain_spec_link}{}},
-  title = {Specification of the Blockchain Layer},
-  titleaddon = {(for the Byron release)},
-  year = {2019},
-  url   = {https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/byronChainSpec/latest/download-by-type/doc-pdf/blockchain-spec}
+  label =  {BC-D1},
+  author = {{IOHK Formal Methods Team}},
+  title  = {{Byron Blockchain Specification, IOHK Deliverable BC-D1}},
+  year   = {2019},
+  url   = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/docs/},
 }
 
 @article{chimeric,
@@ -55,21 +55,29 @@ @article{multi_currency
 }
 
 @article{shelley_consensus,
-  author = {{Formal Methods Team, IOHK}},
-  title   = {{?? - Shelley Consensus}},
+  label =  {SC-DX},
+  author = {{IOHK Formal Methods Team}},
+  title   = {{?? - Shelley Consensus, IOHK Deliverable SC-DX}},
   year    = {TODO},
 }
 
 @misc{shelley_spec,
-  label = {CdoLedger},
-  author = {{Formal Methods Team, IOHK}},
-  title  = {{A Formal Specification of the Cardano Ledger}},
+  label = {SL-D8},
+  author = {{IOHK Formal Methods Team}},
+  title  = {{A Formal Specification of the Cardano Ledger, IOHK Deliverable SL-D8}},
   year   = {2019},
   url = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/shelley/chain-and-ledger/formal-spec/ledger-spec.tex}
 }
 
+@misc{shelley_multisig,
+  label = {SL-D3},
+  author = {{IOHK Formal Methods Team}},
+  title  = {{A Formal Specification of a Multi-Signature Scheme using Scripts, IOHK Deliverable SL-D3}},
+  year   = {2019},
+}
+
 @misc{ouroboros,
-    label = {CdoProt},
+    label = {Ouroboros-Protocol},
     author = {Aggelos Kiayias and Alexander Russell and Bernardo David and Roman Oliynykov},
     title = {Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol},
     howpublished = {Cryptology ePrint Archive, Report 2016/889},
@@ -78,13 +86,67 @@ @misc{ouroboros
 }
 
 @misc{plutus_eutxo,
-label = {CdoUTxoExt},
-author = {{Plutus Team, IOHK}},
-title = {{The Extended UTxO Model}},
+label = {Plutus-UTxoExt},
+author = {{IOHK Plutus Team}},
+title = {{The Extended UTxO Model, Unnumbered IOHK Technical Report}},
 year  = {2019},
 url = {https://github.com/input-output-hk/plutus/tree/master/docs/extended-utxo}
 }
 
+@conference{ouroboros_classic,
+  author    = {Aggelos Kiayias and Alexander Russell and Bernardo David and Roman Oliynykov},
+  title     = {Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol},
+  booktitle = {Advances in Cryptology -- CRYPTO 2017},
+  series    = {Security and Cryptology},
+  volume    = {10401},
+  year      = {2017},
+  publisher = {Springer International Publishing},
+  url       = {https://eprint.iacr.org/2016/889},
+  doi       = {10.1007/978-3-319-63688-7},
+}
+
+@article{ouroboros_praos,
+  title={Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake protocol},
+  author={Bernardo Machado David and Peter Gazi and Aggelos Kiayias and Alexander Russell},
+  journal={IACR Cryptology ePrint Archive},
+  year={2017},
+  volume={2017},
+  pages={573}
+}
+
+@article{utxo_accounting,
+  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},
+}
+
+@misc{bip32,
+  author = {Pieter Wuille},
+  title  = {Hierarchical Deterministic Wallets},
+  year   = {2012},
+  month  = {February},
+  url    = {https://github.com/bitcoin/bips/blob/master/bip-0032.mediawiki},
+  note   = {BIP-32},
+}
+
+@misc{bkks2018,
+	Author = {Lars Bruenjes and Aggelos Kiayias and Elias Koutsoupias and Aikaterini-Panagiota Stouka},
+	Date-Added = {2018-08-05 08:14:11 +0000},
+	Date-Modified = {2018-08-07 09:48:36 +0000},
+	Howpublished = {Computer Science and Game Theory (cs.GT) arXiv:1807.11218},
+	Title = {Reward Sharing Schemes for Stake Pools},
+	Year = {2018}}
+
+@misc{cryptoeprint:2001:034,
+    author = {Tal Malkin and Daniele Micciancio and Sara Miner},
+    title = {Composition and Efficiency Tradeoffs for Forward-Secure Digital Signatures},
+    howpublished = {Cryptology ePrint Archive, Report 2001/034},
+    year = {2001},
+    note = {\url{https://eprint.iacr.org/2001/034}},
+}
+
 @article{DBLP:journals/jar/AkbarpourP10,
   author    = {Behzad Akbarpour and
                Lawrence C. Paulson},
@@ -99,19 +161,18 @@ @article{DBLP:journals/jar/AkbarpourP10
   timestamp = {Wed, 14 Nov 2018 10:38:36 +0100},
   biburl    = {https://dblp.org/rec/bib/journals/jar/AkbarpourP10},
   bibsource = {dblp computer science bibliography, https://dblp.org}
-}
-
-@misc{ouroboros_praos,
-  author = {Bernardo David and Peter Gaži and Aggelos Kiayias and Alexander Russell},
-  title = {Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake protocol},
-  year = {2017},
-  url   = {https://eprint.iacr.org/2017/573.pdf}
-}
+  }
 
-@misc{cryptoeprint:2001:034,
-    author = {Tal Malkin and Daniele Micciancio and Sara Miner},
-    title = {Composition and Efficiency Tradeoffs for Forward-Secure Digital Signatures},
-    howpublished = {Cryptology ePrint Archive, Report 2001/034},
-    year = {2001},
-    note = {\url{https://eprint.iacr.org/2001/034}},
+@article{DBLP:journals/tcs/Escardo96,
+  author    = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}}},
+  title     = {{PCF} Extended with Real Numbers},
+  journal   = {Theor. Comput. Sci.},
+  volume    = {162},
+  number    = {1},
+  pages     = {79--115},
+  year      = {1996},
+  url       = {https://doi.org/10.1016/0304-3975(95)00250-2},
+  doi       = {10.1016/0304-3975(95)00250-2},
+  timestamp = {Sun, 28 May 2017 13:20:09 +0200},
+  biburl    = {https://dblp.org/rec/bib/journals/tcs/Escardo96},
 }