Structure and Interpretation of Computer Programs - Abelson (IEEE, 2003)