H. Abbad and Éric Laugerotte, “Symbolic demonstrations in MuPAD-Combinat”, INFOCOMP Journal of Computer Science, vol. 7, no. 4, pp. 21–30, Dec. 2008.