[barrenko]

The McCarthy paper on Lisps is also interesting and reasonably easy to follow (I'm not even a CS student).

http://www-formal.stanford.edu/jmc/recursive.html

Full title is - Recursive Functions of Symbolic Expressions and Their Computation by Machine.