Gilles Bernot Pascale Le Gall Label Algebras: A Systematic Use of Terms. 144-163 1991 conf/compass/1991 COMPASS/ADT db/conf/compass/compass91.html#BernotG91