http://www.telegraph.co.uk/news/obituaries/science-obituaries/7827572/Professor-Robin-Milner.html -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.bcn.mythic-beasts.com/pipermail/bitlist/attachments/20100615/8cd8568f/attachment.shtml