Uni-soft structure applied to ordered semigroups
scientific article; zbMATH DE number 6843857
scientific article