SICP: Structure and Interpretation of Computer Programs
1장. 함수를 이용한 추상화
2장. 데이터를 이용한 추상화
3장. 모듈성, 객체, 상태
4장. 메타언어적 추상화