I hope I did not understand the question wrong since I saw no suggestion for this book.
In my university we have a course that teaches paradigms of programming languages, they involve prolog, and lisp basically since we already cover Pascal, C, and Java on previous semesters.
The adopted book is available online for free: http://www.gigamonkeys.com/book/
I used this book most for reference, but I think to be a good one. While I as an assistant in this course we suggested the creation of a "LispUnit" a simple program so that students could test their own assignments. The code is available there online, and it was a very interesting experience.
Few students ended up learning how to test using Lisp actually.
On one of the assignments we proposed we emphasized as well how the idea of building from very simple blocks and reusing them on functional programming was more natural than in Java or C. We used few basic natural functions such as +, -, etc. Gave them the successor operation and they ended up creating many of the natural functions on Lisp. I think this is a simple, yet powerful way to mix mathematical concepts, specially since this is covered on Discrete Mathematics for Computer sciences degrees. We did not use LISP for anything like a real application thou, but I believe this book to provide better examples such as the test framework.
Hope this helps.