Yves Métivier
-
Recognizable languages in divisibility monoids
Mathematical Structures in Computer Science