Tony Hoare
Robin Milner