Commutative cancellative semigroups with two generators Robert E. Hall — 1971 Czechoslovak Mathematical Journal