Toshiro Araki Nobuki Tokura Flow Languages Equal Recursively Enumerable Languages. 209-217 1981 15 Acta Inf. db/journals/acta/acta15.html#ArakiT81 http://dx.doi.org/10.1007/BF00289261