The word problem for certain classes of semigroups, Algebra and Logic 5 (1966)

by Y GUREVICH
Venue:in "Proceedings of the ACM Symposium on Principles of Database Systems, Los Angeles