CppCon 2018: Alisdair Meredith “Contract Programming in C++(20) (part 1 of 2)”
DEVCON1: Scalable Blockchains & Asynchronous Programming - Vitalik Buterin
"Contracts For Getting More Programs Less Wrong" by Rob Simmons
Programming Society with Asm: An Introduction to Contract Development within Ethereum
Real-World Smart Contract Development Lessons
Designing by Contract: Using Types to Write Safer Code – Thomas Reynolds
Object-Oriented Programming is Garbage: 3800 SLOC example
DEVCON1: Building a DApp: Design Principles for Dapp developers - Alex Van de Sande
Evolution of Smart Contract Security in the Ethereum Ecosystem
Design By Contract
Introduction to Computer Programming - Classes as a Contract - Pseudo ArrayList