Luc Boasson Géraud Sénizergues NTS Languages Are Deterministic and Congruential. 332-342 1985 31 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss31.html#BoassonS85