@book{4867,
	author = {Pierce, Benjamin C.},
	title = {Types and programming languages},
	publisher = {Prentice Hall},
	year = {2002},
	address = {New Delhi }
}