Gordon D. Plotkin Colin Stirling Mads Tofte A brief scientific biography of Robin Milner. 1-18 2000 Proof, Language, and Interaction conf/birthday/1999milner db/conf/birthday/milner1999.html#PlotkinST00