>>10
Hate to break it to you, but
SICP is written in LaTeX. The proof is in the pudding my friend. The online version of
SICP is generated using the great TeX2Page utility by
Dorai Sitaram. Thus, you must not be very acquainted with
The Sussman.
Thread over.