Andrzej Ehrenfeucht Grzegorz Rozenberg 190-199 Information and Control December 1984 63 3 db/journals/iandc/iandc63.html#EhrenfeuchtR84