1. Badertscher, C., Garay, J., Maurer, U., Tschudi, D., Zikas, V.: But why does it work? A rational protocol design treatment of bitcoin. Cryptology ePrint Archive, Report 2018/138 (2018). https://eprint.iacr.org/2018/138
2. Lecture Notes in Computer Science;C Badertscher,2017
3. Github: Bitcoin Core Version 0.12.0. Wallet: Transaction Fees. https://github.com/bitcoin/bitcoin/blob/v0.12.0/doc/release-notes.md#wallet-transaction-fees
4. Lecture Notes in Computer Science;J Bonneau,2016
5. Canetti, R.: Security and composition of multiparty cryptographic protocols. J. Cryptol. 13(1), 143–202 (2000)