Hermann A. Maurer Arto Salomaa Derick Wood Finitary and Infinitary Interpretations of Languages. 251-265 1982 15 Mathematical Systems Theory 3 db/journals/mst/mst15.html#MaurerSW82