Confluent String Rewriting - sidottu, Englanti, 1988