@book{184579,
	author = {Plotkin, Gordon  ed.},
	title = {Proof, language, and interaction : essays in honour of Robin Milner},
	publisher = {The MIT Press},
	year = {2000},
	series = {Foundations of computing series},
	address = {London},
	url = {www.mitpress.mit.edu}
}