Heavy quark effective theory (Springer, 2004)