1. R. Bagnara, A. Zaccagnini, and T. Zolo. 2003. The Automatic Solution of Recurrence Relations. I. Linear Recurrences of Finite Order with Constant Coefficients . Quaderno 334. Dipartimento di Matematica, Università di Parma, Italy. Available at http://www.cs.unipr.it/Publications/ .
2. Lukas Bulwahn. 2012. The New Quickcheck for Isabelle. Springer Berlin Heidelberg, Berlin, Heidelberg, 92–108.
3. Amine Chaieb. 2011. Formal Power Series. Journal of Automated Reasoning 47, 3 (01 Oct 2011), 291–318.
4. Manuel Eberl. 2017. Linear Recurrences. Archive of Formal Proofs (Oct. 2017). http://isa-afp.org/entries/Linear_Recurrences.html , Formal proof development.
5. Philippe Flajolet and Robert Sedgewick. 2009. Analytic Combinatorics (1 ed.). Cambridge University Press, New York, NY, USA.