"Contracts For Getting More Programs Less Wrong" by Rob Simmons