Dirk Janssens Grzegorz Rozenberg 75-107 1989 22 Mathematical Systems Theory 2 db/journals/mst/mst22.html#JanssensR89