Abbad, H. and Laugerotte, Éric 2008. Symbolic demonstrations in MuPAD-Combinat. INFOCOMP Journal of Computer Science. 7, 4 (Dec. 2008), 21–30.