@book{1721737,
	author = {Pierce},
	title = {Types and Programming Languages},
	publisher = {IEEE},
	url = {https://ieeexplore.ieee.org/servlet/opac?bknumber=6267321}
}