@book{227809,
	author = {Harper, Robert,},
	title = {Practical Foundations for Programming Languages / [electronic resource]},
	publisher = {Cambridge University Press,},
	year = {2012.},
	address = {Cambridge :},
	note = {Title from publisher's bibliographic system (viewed on 09 Oct 2015).},
	url = {http://dx.doi.org/10.1017/CBO9781139342131}
}