Victor L. Selivanov Wadge Degrees of omega-Languages of Deterministic Turing Machines. 97-108 2003 conf/stacs/2003 STACS http://dx.doi.org/10.1007/3-540-36494-3_10 db/conf/stacs/stacs2003.html#Selivanov03