@book{867,
	author = {Pierce,Benjamin C.(Editor)},
	title = {Advanced topics in types and programming languages},
	publisher = {Prentice-Hall},
	year = {2005},
	address = {New Delhi}
}