On extensions of subshifts by finite groups - Kengo Matsumoto (2015)