Seymour Ginsburg Grzegorz Rozenberg 109-125 Information and Control February 1975 27 2 db/journals/iandc/iandc27.html#GinsburgR75 http://dx.doi.org/10.1016/S0019-9958(75)90106-0