Crossability of cancellative Kleene semigroups C. P. Rupert — 1992 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications