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