@book{5986,
	author = {Harper, Robert},
	title = {Practical foundations for programming languages},
	publisher = {Cambridge University Press,},
	year = {2016.},
	address = {New York,},
	edition = {2}
}