Ordered Monoids: Languages and Relations
  We give a finite axiomatization for the variety generated by relational,
integral ordered monoids. As a corollary we get a finite axiomatization for the
language interpretation as well.
