B. Laurie, S. Decentralised, D. Transaction-ledger, W. Gavin, . Dr et al., Consensus in Blockchain Systems BLOG: https://medium.com/@chrshmmmr/consensus-in-blockchain-systems-in-short-691fc7d1fefe Hashcash -a denial of service counter-measure, Adam Back, https://www.researchgate.net/publication/2482110_Hashcash_-_A_Denial_of_Service_Counter-Measure Bitcoin: A Peer-to-Peer Electronic Cash System, Satoshi Nakamoto PPCoin: Peer-to-Peer Crypto-Currency with Proof-of-Stake [Ethereum-Wiki] A Next-Generation Smart Contract and Decentralized Application Platform, Cachin 2001] Distributing Trust on the Internet, Christian Cachin, Proc. Intl. Conference on Dependable Systems and Networks, 2002.

H. Hyperledger and T. Swanson, Architecture of the Hyperledger Blockchain Fabric, Massimo Bartoletti and Livio Pompianu, 2016.

B. Currency and . Laurie, Declarative_programming from 10/09/2017 [WIKIPEDIA03] 0https://en.wikipedia.org/wiki/Category:Declarative_programming_languages [STACKEXCHAGE01] https://ethereum.stackexchange.com/questions/119/what-opcodes-are-available-for-the-ethereum-evm [BlockGeeks01] https://blockgeeks.com/guides/what-is-hyperledger/ [ angrbrd01] https://github.com/angrbrd/hyperledger-fabric-basics/blob/master/crowd_fund_chaincode/crowd_fund_chaincode.go [ SOLIDITY01] https, 2011.

C. D. Clack, A. Vikram, L. Bakshi, and . Braine, Smart Contract Templates: essential requirements and design options, Clack et al 2017] Smart Contract Templates: foundations, design landscape and research directions, 2016.

L. Bakshi, O. Braine, . Computable, W. Numbers, . An et al., Actor Model of Computation: Scalable Robust Information Systems A Semantics for Concurrent Logic Programming Languages Based on Multiple-Valued Logic Declarative Semantics Flat Guarded Horn Clauses http://ac.els-cdn.com/030439759090062M/1- s2.0-030439759090062M-main.pdf?_tid=d3ecd800-9cb3-11e7-a930- 00000aacb35e&acdnat=1505768363_596978a2791a2a05f71b0988fc7e5550 [LAMPORT 2008] Computation and State Machines Abstract State Machines: a unifying view of models of computation and of system design frameworks, http://ac.elscdn.com/S0168007204001320/1-s2.0-S0168007204001320-main.pdf?_tid=6fb11aec-9cb6-11e7-a66c- 00000aab0f6c&acdnat=1505769483_6ff4ead218c00deb9c7fc17630e0dd42 [Samek2003] Quantum Programming for Embedded Systems: Toward a Hassle-Free Multithreading , Miro Samek , https://statemachine .com/doc/Samek0303.pdf [AGA1986] Actors: A Model of Concurrent Computing in Distributed Systems [MURAKAMI 1990] Declarative Semantics Flat Guarded Horn Clauses Abstract State Machines: a unifying view of models of computation and of system design frameworks, Model of Concurent Computing in Distributed Systemslamport.azurewebsites.net/pubs/statemachine .pdfAITR-844.pdf [Hewitt2015 ] Actor Model of Computation: Scalable Robust Information Systems] Computation and State Machines317492448_CHANGING_BANKING_LANDSCAPE_THE_PS D2 Complexity of mapping all semantic content; manual, needs domain knowledge, constantly changing and needs agreement between different parties within and across organizations ? need to use cognitive computing and needs to be self sustaining -> HOW TO ADDRESS THIS, 1985.