Michel Latteux Paavo Turakainen On Characterizations of Recursively Enumerable Languages. 178-186 1990 28 Acta Inf. 2 db/journals/acta/acta28.html#LatteuxT90