My favorite discussion of this is in TeX: The Program, starting at §813 on page 302: http://brokestream.com/tex.pdf (I'm not sure if the discussion can be followed by jumping in in the middle; I read the book cover to cover at one point).