@book{1259,
	title = {Foundations of programming languages},
	publisher = {MIT press},
	year = {1996},
	address = {London,}
}