@book{456804,
	author = {Danvy, Olivier. and SpringerLink (Online service)},
	title = {Higher-Order and Symbolic Computation},
	publisher = {Springer US :},
	address = {New York :},
	url = {https://doi.org/10.1007/10990.1573-0557}
}