//-->
Halbgruppen
(1974)
The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms
Winkler, Franz, (1984)
Halbgruppen und Automaten
Deussen, Peter, (1971)