4 ms·

I've seen TAoCP (The Art of Computer Programming) and TaPL (Types and Programming Languages) used before, and both are definitely great.