The famous Structure and Interpretation of Computer Programs (SICP) does this, in the Scheme language. The whole book is online here, with the table of contents right at the front:

https://web.mit.edu/6.001/6.037/sicp.pdf