Gordon D. Plotkin, Colin Stirling, Mads Tofte. Obituary: Robin Milner (1934-2010). Bulletin of the EATCS, 101:12-16, 2010. [doi]
@article{PlotkinST10,
title = {Obituary: Robin Milner (1934-2010)},
author = {Gordon D. Plotkin and Colin Stirling and Mads Tofte},
year = {2010},
url = {http://albcom.lsi.upc.edu/ojs/index.php/beatcs/article/view/12/16},
researchr = {https://researchr.org/publication/PlotkinST10},
cites = {0},
citedby = {0},
journal = {Bulletin of the EATCS},
volume = {101},
pages = {12-16},
}