They do have some notes on internal implementation, that do not seem up-to-date, here [0]. Were they any more detailed than this?
[0] http://reference.wolfram.com/language/tutorial/SomeNotesOnIn...