Robin Milner, 1934--2010 (second update)

A third obituary, written by Michael Fourman, has appeared in The Independent.