@book{49050,
	author = {Pierce, Benjamin C.},
	title = {ADVANCE TOPICS IN TYPES AND PROGRAMMING LANGUAGES},
	publisher = { The MIT Press},
	address = {Estados Unidos de América }
}