Embedding any countable semigroup in a 2-generated bisimple monoid
scientific article