2 libri in questo genere
Recursive Techniques in Programming
D.W. Barron
The little LISPer
Daniel P. Friedman