Giani, S., Graham, I.G., "A convergent adaptive method for elliptic eigenvalue problems", SIAM Journal on Numerical Analysis, 2009