1. Chaieb, A.: Automated methods for formal proofs in simple arithmetics and algebra. Ph.D. thesis, Technische Universität München, Germany (2008)
2. Chaieb, A., Wenzel, M.: Context aware calculation and deduction—ring equalities via Gröbner bases in Isabelle. In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W. (eds.) CALCULEMUS 2007. Lecture Notes in Computer Science, vol. 4573, pp. 27–39. Springer (2007)
3. Goulden, I.P., Jackson, D.M.: Combinatorial Enumeration. Dover Publications, Incorporated (2004)
4. Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete Mathematics: a Foundation for Computer Science. Addison-Wesley, Boston (1994)
5. Haftmann, F., Wenzel, M.: Constructive type classes in Isabelle. In: Altenkirch, T., McBride, C. (eds.) Types for Proofs and Programs (2006)