A survey of some aspects of non-commutative geometry - Cuntz, Joachim (Topologie und nichtkommutative Geometrie, 1992)