Abbad, Houda, and Éric Laugerotte. “Symbolic Demonstrations in MuPAD-Combinat”. INFOCOMP Journal of Computer Science, vol. 7, no. 4, Dec. 2008, pp. 21-30, http://177.105.60.18/index.php/infocomp/article/view/235.