GitHub repository: lovejavaee/sicp-pdf
Description: SICP PDF with Texinfo and LaTeX source