An order topology for finitely generated free monoids

From MaRDI portal