Richard Bird Died (theguardian.com)

“Instead of repeatedly finding and fixing bugs in a program until it appears to pass all tests, he argued for calculating the program from a precise specification of what it should do”