@book{57913,
	title = {Advanced Topics in Types and Programming Languages /},
	publisher = {Pierce, Benjamin C.},
	year = {c2005.},
	address = {New Delhi},
	url = {http://10.10.170.122:8080/browse/book/21064}
}