Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods. - Giancarlo Bigi; Andrea Bracciali; Giovanni Meacci; Emilio Tuosto (Programming Languages with Applications to Biology and Security, 2015)