Strongly compatible total orders on free monoids. Y. Kobayashi; T. Saito; T. Iwamoto; K. Kajitori — 1991 Semigroup forum