Lecture, "Introduction to the Structure and Interpretation of Computer Programs," MIT (2006)