I have a minor suggestion for Eq.(5.5.4): it is logical to include a special case a=b=0, as is done in Eqs.(5.5.6) and (5.5.7). Otherwise straightforward (without no thinking at all) implementation of complex abs will fail for perfectly possible case of zero argument.