https://wp.jochen.hayek.name/blog-en/2011/09/17/tony-hoare-wikipedia-the-free-encyclopedia/