SICP in TeX / PDF