Frank Neven Thomas Schwentick Victor Vianu Finite state machines for strings over infinite alphabets. 403-435 2004 5 ACM Trans. Comput. Log. 3 http://doi.acm.org/10.1145/1013560.1013562 db/journals/tocl/tocl5.html#NevenSV04