https://123dok.net/document/dy4l3v9z-counting-eigenvalues-in-domains-of-the-complex-field.html