Arason J, Magnus R. An algebraic multiplicity theory for analytic operator-valued functions. Math. Scand. 1998;82(2):265-286. doi:10.7146/math.scand.a-13837