The limits of Nečiporuk's method and the power of programs over monoids taken from
small varieties of finite monoids / Nathan Grosshans ; sous la direction de Luc Segoufin
et Pierre McKenzie. Thèse de doctorat : Informatique : Paris Saclay : 2018
Information trouvée : https://diro.umontreal.ca/repertoire-departement/vue/hamel-sylvie/