KAUERS, M.; KRATTENTHALER, C.; MÜLLER, T. W. A Method for Determining the Mod-$2^k$ Behaviour of Recursive Sequences, with Applications to Subgroup Counting. The Electronic Journal of Combinatorics, v. 18, n. 2, p. P37, 20 Jun. 2012.