@book{14147,
	author = {PIERCE},
	title = {ADVANCED TOPICS IN TYPES AND PROGRAMMING LANGUAGES},
	publisher = {PHI},
	year = {2005},
	edition = {1}
}