
Publication
A User Machine in a Time-Sharing System
Publication
The Word Problem for Some Classes of Semigroups
Publication
Elementary Properties of Ordered Abelian Groups
Publication