Related resources:
Lambda-the-Ultimate: "A Next Generation Smart Contract and Decentralized Application Platform", Vitalik Buterin. - http://lambda-the-ultimate.org/node/5003#comment-94645
Mark Miller: Agoric and the Decades-Long Quest for Secure Smart Contracts. https://letstalkbitcoin.com/blog/post/epicenter-mark-miller-...