Paavo Turakainen A note on test sets for IR-rational languages. 40-41 1985 25 Bulletin of the EATCS db/journals/eatcs/eatcs25.html#Turakainen85