Almost commuting self-adjoint matrices - a short proof of Huaxin Lin's theorem. Mikael Rordam; Peter Friis — 1996 Journal für die reine und angewandte Mathematik