C. P. Rupert Crossability of cancellative Kleene semigroups. 151-162 1992 26 ITA db/journals/ita/ita26.html#Rupert92