Convergence and quasi-optimality of adaptive finite element methods for harmonic forms - Alan Demlow (2016)