Validation and Verification of Smart Contracts: A Research Agenda. - Daniele Magazzeni; Peter McBurney; William Nash (Computer, 2017)