Motivational Paper on Linear Logic as a blockchain programming language - View it on GitHub