Surely the definitive work on IS-IS is Radia Perlman's _Interconnections_?
Bridging and the spanning tree are covered there quite nicely as well.
The original problem we had with IS-IS was that nobody had a CIDRized version.
I think that's why. Maybe the split is earlier? I'm not sure. Huitema doesn't say anything in his book.
Dana