Celebrating Tony Hoare's mark on computer science