Bulk-edge correspondence in a topological pumping - Y. Hatsugai; T. Fukui (2016)