Gordon D. Plotkin Colin Stirling Mads Tofte Proof, Language, and Interaction, Essays in Honour of Robin Milner 2000 978-0-262-16188-6 The MIT Press Proof, Language, and Interaction db/conf/birthday/milner1999.html