not books but there are quite a few interesting and accessible papers. here is one

Pearlmutter, B.A. and Siskind, J.M., `Reverse-Mode AD in a Functional Framework: Lambda the Ultimate Backpropagator,'

http://www.bcl.hamilton.ie/~qobi/stalingrad/