Werner Damm Andreas Goerdt An Automata-Theoretic Characterization of the OI-Hierarchy. 141-153 1982 conf/icalp/1982 ICALP db/conf/icalp/icalp82.html#DammG82 http://dx.doi.org/10.1007/BFb0012764