@book{24064,
	author = {Launchbury},
	title = {Advanced Functional Programming}
}