The TeXbook and the METAFONTbook explore the mathematics of typesetting in great detail