Bergeron, François and Pichet, Claude "DARWIN: A System for the Study of Enumerative Combinatorics"

(1985) European Conference on Computer Algebra EUROCAL 85 LNCS 204  

Languages mentioned Darwin {1987}