@book{1721256,
	author = {McCarthy},
	title = {LISP 1.5 Programmer's Manual},
	publisher = {IEEE},
	url = {https://ieeexplore.ieee.org/servlet/opac?bknumber=6267461}
}