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-...
https://agoric.com/
https://infominer.id/bitcoin-history/smart-contracts/