Heiber, 2017. Finite-state independence.