Corda : An Introduction
Smart Contract Templates: foundations, design landscape and research directions