Paavo Turakainen A Unified Approach to Characterizations of Recursively Enumerable Languages. 223-228 1991 45 Bulletin of the EATCS db/journals/eatcs/eatcs45.html#Turakainen91