A computational non-commutative geometry program for disordered topological insulators - Prodan, Emil (Springer, 2017)