Picantin, 2006. Finite transducers for divisibility monoids 362.. https://doi.org/10.1016/j.tcs.2006.06.019