J. Arason and R. Magnus, “An algebraic multiplicity theory for analytic operator-valued functions”, Math. Scand., vol. 82, no. 2, pp. 265–286, Jun. 1998.