@book{4685,
	author = {Palsberg, Jens},
	title = {ACM Transactions on Programming Languages and Systems},
	publisher = {Association for Computing Machinery},
	year = {2011-},
	address = {New York.}
}