The Taimanov is generally considered the most challenging reply to the Modern Benoni.   The author heavily loads the variation tree with fragments and unattributed options for each sub-variation.  Then, useful example games of it are given, and heavily analyzed as well.  All analysis relies on CI symbols, so the book is languageless.       Figurine algebraic notation.  Index of variations and games.  120 pages