Tony Hoare Robin Milner Grand Challenges for Computing Research. 49-52 2005 48 Comput. J. 1 http://www3.oup.co.uk/computer_journal/hdb/Volume_48/Issue_01/bxh065.sgm.abs.html db/journals/cj/cj48.html#HoareM05