Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski & Lukasz Mazurek (2014):
Modeling Bitcoin Contracts by Timed Automata.
In: Proceedings of FORMATS'14,
LNCS 8711.
Springer,
pp. 7–22,
doi:10.1007/978-3-319-10512-3_2.
Andreas M. Antonopoulos (2014):
Mastering Bitcoin: Unlocking Digital Crypto-Currencies,
1st edition.
O'Reilly Media, Inc..
Jan A. Bergstra & Karl de Leeuw (2013):
Questions related to Bitcoin and other Informational Money.
CoRR abs/1305.5956.
Available at http://arxiv.org/abs/1305.5956.
Joseph Bonneau, Andrew Miller, Jeremy Clark, Arvind Narayanan, Joshua A. Kroll & Edward W. Felten (2015):
Research Perspectives and Challenges for Bitcoin and Cryptocurrencies..
IACR Cryptology ePrint Archive 2015,
pp. 261,
doi:10.1109/SP.2015.14.
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis & Danny Bøgsted Poulsen (2015):
Uppaal SMC tutorial.
STTT 17(4),
pp. 397–415,
doi:10.1007/s10009-014-0361-y.
M. Herrmann (2012):
Implementation, Evaluation and Detection of a Doublespend-attack on Bitcoin.
ETH Zürich, Department of Computer Science.
Ghassan O. Karame, Elli Androulaki & Srdjan Capkun (2012):
Double-spending Fast Payments in Bitcoin.
In: Proceedings of the 2012 ACM Conference on Computer and Communications Security,
CCS '12.
ACM,
New York, NY, USA,
pp. 906–917,
doi:10.1145/2382196.2382292.
Dorit Ron & Adi Shamir (2013):
Quantitative Analysis of the Full Bitcoin Transaction Graph.
In: Proceedings of Financial Cryptography and Data Security (FC'13),
LNCS 7859.
Springer,
pp. 6–24,
doi:10.1007/978-3-642-39884-1_2.