Celebrating Tony Hoare's mark on computer science (bertrandmeyer.com)